|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| AnalyzerWindow | Define a janela com o resultado da verificação das propriedades da Rede de Petri. |
| MainProgram | Classe que implementa o método main, que instância a Janela Principal. |
| MainWindow | Define a Janela Principal para o Editor/Simulador de Redes de Petri Toda a parte gráfica |
| PetriNetEditorCanvas | Classe que implementa a area de desenho da rede de petri. |
| SimulationWindow | Define a janela com a árvore mostrando a evolução da simulação. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||