I.6. Draw/Explore Switch

The Draw/Explore Switch (identified as (5) in fig. I.1) allows switching between the Draw Mode (in which the user can draw a new model or modify an existing one – button unpressed) and the Explore Mode (in which the user can access all functions available for simulation and analysis – button pressed).

When switching from the Explore Mode to the Draw Mode, the marking of the PN model is automatically reset to the initial token configuration and the former values of all the performance indices are lost.