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.

The maintainers of this page

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