|
Class Summary |
| ArcGraph |
Esta classe é a classe para definição de Arcos
(Arcs) em Redes de Petri. |
| Label |
Classe de definição dos rótulos e texto livre a ser colocado no desenho das
redes de Petri. |
| PetriNetGraph |
Esta classe é a classe base para definição de Redes de Petri. |
| PlaceGraph |
Esta classe é a classe para definição de Lugares
(Places) em Redes de Petri. |
| TransitionGraph |
Esta classe é a classe para definição de transições
(transitions) em Redes de Petri. |
| TreeNodeState |
Define um estado da Rede de Petri. |