WebSPN 3.3

This tool consists of the following parts:

• the user interface : allowsthe user to specify the Petri net that one wants to study, by simply drawingit on the screen, the same way as one would draw it on a sheet of paper;
• the analysis engine: analyzesthe net and computes the measures required by the user.
• the token-game engine: lets the userto study the Petri Net by forcing the transitions to fire, with no timeconstraints.