Class Summary |
ColoredEdge |
An edge being part of a high-level Petri net simulation model. |
ColoredPetriNet |
A hierarchical Petri net close to a Coloured Petri net that can be exported to CPN Tools. |
ColoredPlace |
A place being part of a high-level Petri net simulation model. |
ColoredTransition |
A transition being part of a high-level Petri net simulation model. |
CpnColorSet |
An abstract class that defines the structure for each colorset that is available in
CPN tools. |
CpnExport20 |
Exports a given low-level Petri net or a ColoredPetriNet to a coloured Petri net representation
that can be read by CPN Tools. |
CpnExportSettings |
Displays the export settings that are available before actually exporting the given
high-level Petri net simulation model. |
EnumeratedColorSet |
This class represents an enumerated color set in CPN tools |
HLToCPNTranslator |
Translates the high-level information to the CPN-specific Petri net
that can be immedeately written to a .cpn file. |
IntegerColorSet |
Defines an integer color set for cpn tools. |
ManagerConfiguration |
The Configuration Manager class has to keep track of which simulation information exactly has to be
exported to the cpn file (data, resources, timing information, logging functions). |
ManagerID |
An ID manager for generating new cpnIDs that can be used for creating a valid
CPN file. |
ManagerLayout |
The layout manager maintains the grahical parameters that apply for
the generation of CPN simulation models. |
ManagerXml |
This class provides helper methods that are needed for making an export to
CPN tools 2.0 |
ProductColorSet |
Defines a product color set for CPN tools |
RecordColorSet |
Defines a record color set in CPN tools. |
StringColorSet |
Defines a string color set for cpn tools. |
SubpageMapping |
A mapping for the subpage of a transition, that is needed for writing the
cpn-file, is defined. |
SubSetColorSet |
Defines a subset color set of CPN tools |