Tools and Software

This page collects a number of links to locations with information about Petri Net tools and related information.

Tool Databases

Petri Nets Tool Database: Comprehensive and up-to-date database of currently used tools for Petri Nets.
Java Tools on the Web: If you do not know much about Petri Nets, then these simple tools may provide a quick impression on the basics.

Surveys

Questionnaire for a Taxonomy of Petri Net Dialects (May 2000)

The purpose of this survey is to collect characteristics of currently used Petri Nets. This is helpful for defining a common interchange format for Petri Nets models (part of the standardisation effort). Performed by R. Bastide, D. Buchs, M. Buffo, F. Kordon, and O.Sy.

Web site in France
Download paper from French site (176kb PDF file)
Download paper from Danish site (mirror)

An Evaluation of High-End Tools for Petri-Nets (June 1998)

A comprehensive comparative survey of tools for Petri nets by Harald Störrle.

Download paper from German site (136kb gzip'ed PostScript file)
Download paper from Danish site (mirror)

Related Material

Formal Methods: Look under the section "Individual notations, methods and tools".
The FME Formal Methods Tools Database: Look under the "Tools" section. Part of Formal Methods Europe.
The Electronic Tool Integration Platform: A refereed, interactive tool repository under the auspices of the STTT Journal.

The maintainers of this page