|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| ImplSimulator | Implementa a engine do funcionamento da simulação. |
| PetriNetAnalyzer | Classe que cuida da engine da Análise da Rede de Petri |
| PetriNetProperties | Possui métodos que retornam um conjunto de propriedades verificadas na Rede de Petri |
| PetriNetState | Classe que representa o Estado de uma Rede de Petri, para análise. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||