P3

Overview

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)

Place/Transition Nets
Upgraded Petri Nets

Components (see also help on terminology)

Graphical Editor
Token Game Animation
Fast Simulation
State Spaces
Condensed State Spaces
Interchange File Format
Petri net ontology

Environments

PC, MS Windows 98
PC, MS Windows NT
PC, MS Windows 2000
PC, MS Windows XP

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
Canada

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

Other Remarks

The maintainers of this page