Entry last updated: 2013/12/13
Entry last validated: 2013/12/13

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

Reads a PT-net or HL net in simple syntax. Performs state space analysis for boundedness, various, reachability queries, reversibility, liveness, home states, deadlocks, dead transitions, CTL model checking, and some LTL properties. Uses various state space reduction techniques including stubborn sets, symmetries, coverability graphs, the sweep-line method and exploits knowledge about invariants.

Contact Information

Karsten Wolf
Universitaet Rostock, Institut fuer Informatik
Schwaansche Str. 2
18051 Rostock

Phone:  +49-381-4987670
Fax:    +49-381-4987642

Other Remarks

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