Petri Nets Tool Search

Search in the Petri Nets Tool database.

Empty/unselected sections are ignored. Specified fields can be AND'ed or OR'ed while sections are always AND'ed (see search selection mode menu at bottom of page).

For example, in OR'ed search mode it is possible to search for tools which have a graphical editor AND either runs on HPs OR Linux systems (or both). Another example, in AND'ed search mode (default) it is possible to search for tools which both implements state spaces AND invariants.


Search tip: Looking for a tool running on every platform? Try finding a Java based tool.
I'm looking for tools
which are available
Free of Charge
Commercially
Commercially (discounts for academic institutions)
Commercially (free for academic institutions)
AND support
AND implement
AND run with
AND matches substring
Fields in each section are

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