Class | Description |
---|---|
PetrifyConstants |
Encoding and decoding strings for Petrify and Genet.
|
PetrifyDotAny |
Generic support for both file formats supported by Petrify and Genet: 1.
|
PetrifyDotG |
Support for the Petrify/Genet Petri net file format (.g).
|
PetrifyDotSG |
Support for the Petrify/Genet state graph file format (.sg).
|
PetrifyExportDotSG |
Supports the export of a transition system to a Petrify/Genet state graph
file.
|
PetrifyGReader |
Supports the reading of a Petri net from a Petrify/Genet Petri net file.
|
PetrifyImportDotG |
Supports the import of a Petri net from a Petrify/Genet Petri net file.
|
PetrifyImportDotSG |
Supports the import of a Petri net from a Petrify/Genet Petri net file.
|
PetrifySGReader |
Supports the reading of a Transition System from a .sg file
|
PetrifyTS2Petrinet |