Szenarienspezifikation zur Systemverhaltensanalyse mit Petrinetzen (Scenario Specification for the Analysis of System Behaviour by Petri-Nets).