Um ambiente para a analise e simulação de sistemas modelados por redes de Petri
Made available in DSpace on 2013-12-09T17:54:55Z (GMT). No. of bitstreams: 1 79444.pdf: 2866356 bytes, checksum: f23c26f0256f955f14cf0e9878a93be5 (MD5)
Main Author: | Mazieiro, Carlos Alberto |
---|---|
Format: | Others |
Published: |
2013
|
Online Access: | https://repositorio.ufsc.br/handle/123456789/111556 |
Similar Items
-
Modelado de compras verdes mediante redes de Petri coloreadas
by: Luz Maribel Guevara-Ortega, et al.
Published: (2017-10-01) -
Redes de Petri: Modelado e implementación de algoritmos para autómatas programables
by: Luis Diego Murillo
Published: (2008-04-01) -
Um metodo de redução da arvore de alcançabilidade de sistemas modelados por redes de Petri predicado/transição, mantendo a capacidade de analise
by: Moecke, Marcos
Published: (2013) -
Contribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petri
by: Braga, Rodrigo Pimenta Ferreira
Published: (2012) -
MODELADO DE FALLOS DE VEHÍCULO AÉREO QUADCOPTER UTILIZANDO REDES DE PETRI
by: Ailet Abreu López, et al.
Published: (2019-06-01)