Entry last updated: 2008/12/19
Entry last validated: 2008/12/19

Tool homepage: http://www.sfu.ca/~dgasevic/projects/P3net/

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)


Tool Description

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.

Two ways of simulation: individual executing of transition, parallel executing of all transitions with previous resolving of conflict situations. Tools for model analysis developed in P3 are the following: reachability tree, matrix equations, firing tree, and firing graph.

P3 uses Petri Net Markup Language for sharing Petri nets with 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: DaNAMiCS, Renew, Petri Net Kernel.

P3 supports the Petri net ontology in the RDFS definition. Also, P3 produces RDF-annotated SVG documents with Petri net models.

Contact Information

School of Computing and Information Systems
Athabasca University
1 University Drive
Athabasca, AB T9S 3A3

Phone:  +1 604 569 8515
Fax:    +1 778 782 7488
E-mail: dgasevic@acm.org

Other Remarks

[PN Home][*]
The maintainers of this page