Title: | 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 |
Author: | Moecke, Marcos |
URI: | https://repositorio.ufsc.br/handle/123456789/111486 |
Date: | 1991 |
Files | Size | Format | View |
---|---|---|---|
81859.pdf | 2.116Mb |
View/ |