Scenario Specification for the Analysis of System Behaviour by Petri-Nets

The formal technique "STOP — Specification Technique for Operational Processes" allows the synthesis of system scenarios and applicable variations to such scenarios into an analysable model of the system behaviour. To this purpose a special form of Petri Net Modelling has been developed and will be introduced hereafter in theory and by its practical application.