Implementation details
Content
General information
- Operating system: Windows
- Implementation: Visual C++ 6.0
- XML parser: Xerces-C++ parser v2.3
- XSLT processor: Xalan-C++ v1.6
Modeling
Graphical user interface enables representing Petri Net models like graphs. The P3 workspace is divided into two parts: on the left there is the navigation tree of Petri net objects; on the right there is a document review of the Petri net graph which is being operated at the moment.
Top
Simulation
Two ways of simulation:
- individual executing of transition
- parallel executing of all transitions with previous resolving of conflict situations.
Both these simulation ways are performed interactively i.e. their execution changes a marking state of the analyzed net, which is reflected on the Petri net graph view in P3.
Top
Analysis
Tools for model analysis developed in P3 are the following:
- reachability tree
- matrix equations
- firing tree
- firing graph
After the calculation of a particular analysis tool, the right side of the P3 window splits into two horizontal parts. The obtained result is drawn in the lower one. This layout is made to enable parallel observation of the model and the analysis tool during the learning process. When the analysis tools - Reachability tree, Fireability tree, and Firing Graph are used, the interaction between a model and the result of an appropriate model.
Top
Model sharing
P3 uses Petri Net Markup Language for sharing Petri nets wiht other Petri net tools. The P3 tool has three eXtensible Stylesheet Language Transformations (XSLTs) that transform P3's interpretation of PNML into the formats of the following tools:
The P3 tool can share its models with the Platform Independent Petri Net Editor (PIPE) without any additional model transformations since both these tools use PNML.
Top
Petri net ontology
P3 supports the Petri net ontology in the RDFS definition. Also, P3 produces RDF-annotated SVG documents with Petri net models.
Top