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
Made available in DSpace on 2013-12-09T17:42:48Z (GMT). No. of bitstreams: 1 81859.pdf: 2219389 bytes, checksum: ed4f5d43dc5514c0d0d44d550009fdf1 (MD5)
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2013
|
| Online Access: | https://repositorio.ufsc.br/handle/123456789/111486 |