Classes | |
| class | Node |
| unspecified Petri net nodes More... | |
| class | Transition |
| transitions of the Petri net More... | |
| class | Place |
| places of the Petri net More... | |
| class | Arc |
| arcs of the Petri net More... | |
| class | PetriNet |
| A Petri net. More... | |
Enumerations | |
| enum | communication_type { INTERNAL, IN, OUT, INOUT } |
| place and transition types More... | |
| enum | arc_type { STANDARD, READ } |
| arc types More... | |
| enum | node_type { PLACE, TRANSITION } |
| node types More... | |
| enum | output_format { FORMAT_APNN, FORMAT_DOT, FORMAT_INA, FORMAT_SPIN, FORMAT_INFO, FORMAT_LOLA, FORMAT_OWFN, FORMAT_PEP, FORMAT_PNML, FORMAT_IOLOLA } |
| file formats More... | |
Functions | |
| ostream & | operator<< (ostream &os, const PNapi::PetriNet &obj) |
| outputs the Petri net | |
1.5.2