Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalar
The objective of this thesis is to establish formal conditions for time Petri nets analysis by interval algebra. The interval algebra is traditionally used as a mathematical tool in the solution of problems related to uncertainty. In fact time Petri nets are characterized by presenting an uncertaint...
Autor principal: | Lima, Evangivaldo Almeida |
---|---|
Formato: | Tese |
Idioma: | Português |
Publicado em: |
Universidade Tecnológica Federal do Paraná
2010
|
Assuntos: | |
Acesso em linha: |
http://repositorio.utfpr.edu.br/jspui/handle/1/97 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|