It looks like you're new here. If you want to get involved, click one of these buttons!
This page has for working notes on software evaluation, standards, test design and specification references for online Petri net editors.
Some possible criteria for evaluating Petri net software packages are listed below.
A secure interactive online editor which:
runs in any web browser
has drag-and-drop icons for place, transition and arc graphics with text annotations.
can construct any variety of Petri net and store it in a database
can simulate, animate, log and store for reuse the execution histories of transitions
can input complex probabilistic guard and firing rules for transitions as mathematical formulae entered via appropriate mathematical operator icons and parameter text entry boxes.
L. M. Hillah, F. Kordon, L. Petrucci, and N. Treves, Petri Net Standards, a survey