Tool homepage: http://www.sfu.ca/~dgasevic/projects/P3net/
Tool availability: Free of charge
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.
School of Computing and Information Systems Athabasca University 1 University Drive Athabasca, AB T9S 3A3 Canada Phone: +1 604 569 8515 Fax: +1 778 782 7488 E-mail: email@example.com