Stefan Einer

Publication Activity (10 Years)

Years Active: 2000-2005
Publications (10 Years): 0

Publications

Stefan Einer
Szenarienspezifikation zur Systemverhaltensanalyse mit Petrinetzen (Scenario Specification for the Analysis of System Behaviour by Petri-Nets). Autom. 53 (6) (2005)
Stefan Einer
STOP - Specification Technique of Operational Processes. SoftSpez Final Report (2004)
Eckehard Schnieder, Mourad Chouikha, Stefan Einer, Michael Meyer zu Hörste
BASYSNET - An Integrated Approach for Automated Control System Development. Petri Net Technology for Communication-Based Systems (2003)
Stefan Einer, Roman Slovák, Eckehard Schnieder
Modeling train control systems with Petrinets-an operational specification. SMC (2000)