Stefan Einer

According to our database, Stefan Einer authored at least 4 papers between 2000 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

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

Stefan Einer

Autom., 2005

2004

STOP - Specification Technique of Operational Processes.

Stefan Einer

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003

BASYSNET - An Integrated Approach for Automated Control System Development.

Eckehard Schnieder, Mourad Chouikha, Stefan Einer, Michael Meyer zu Hörste

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

2000

Modeling train control systems with Petrinets-an operational specification.

Stefan Einer, Roman Slovák, Eckehard Schnieder

Proceedings of the IEEE International Conference on Systems, 2000