Modeling train control systems with Petrinets-an operational specification. - Stefan Einer; Roman Slovák; Eckehard Schnieder (SMC, 2000)

BASYSNET - An Integrated Approach for Automated Control System Development. - Eckehard Schnieder; Mourad Chouikha; Stefan Einer; Michael Meyer zu Hörste (Petri Net Technology for Communication-Based Systems, 2003)

STOP - Specification Technique of Operational Processes. - Stefan Einer (SoftSpez Final Report, 2004)

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