| Interface | Description |
|---|---|
| PetriNetDisplayer |
Display the evolution of a Petri net after execution.
|
| Class | Description |
|---|---|
| PetriNetActor |
A Petri net Actor
As defined in the PetriNetDirector.java, a PetriNetActor is a
directed and weighted graph G = (V, E) containing three kinds
of nodes: Places p_i, Transitions t_i, and PetriNetActors
PA_i, i.e., V = {p_i} union {t_i} union {PA_i} ,
where each PA_i itself is again defined as a PetriNetActor.
|
| PetriNetDirector |
This implementation of a PetriNet Director is an extension of the PetriNet
Director created by Wang and Lee located in the experimental domain.
|
| Place |
A Petri net place compatible with the PetriNetDirector.
|
| Transition |
A Transition to be used as part of a Petri Net and in
conjunction with the PetriNetDirector.
|