Entry last updated: 2010/9/3
Entry last validated: 2010/9/3

Tool homepage:

Tool availability: Free of charge

Tool Features

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


Tool Description

Petruchio is a tool for computing Petri net translations of dynamic networks modeled in terms of Pi-calculus processes. It provides means to further analyse (the resulting) nets.

It consists of a rich (graphical) frontend with model-checker integration and several command-line backend tools which allow for fast simulation of (high-level) GSPN, checking coverability for low-level (transfer) Petri nets, and application of reduction techniques for low-level Petri nets.

Several (low-level) Petri net formats are supported.

See Other Remarks for further details.

Contact Information

Tim Strazny
Carl von Ossietzky University Oldenburg
Ammerlaender Heerstrasse 114-118
D-26129 Oldenburg

Phone:  +49-441-798-2362
Fax:    +49-441-798-2965

Other Remarks

Petruchio Backend

Petruchio IDE

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