Petri net tools

This report gives a comparative overview of the majority of the available software tools for Petri net editing, analysis, dynamisation (interpretation, simulation and animation), generation and transformation. After a general introduction into the terminology and classification of Petri nets and an explanation of the tool assessment criteria and classification features, an overview is given in form of a table encompassing 53 Petri net tools, most of them running on UNIX- or PC-based architectures. As a refinement, a more comprehensive study is given in the form of detailed tool portraits for 16 UNIX-based tools, which are candidates for use in a hypothetical Petri net toolkit.