For the most recent entries see the
Petri Nets Newsletter.
Einer, S.
-
Einer, Stefan:
STOP -- Specification Technique of Operational Processes.
2004.
-
Einer, Stefan:
Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel Eisenbahnsicherung.
2003.
-
Schnieder, Eckehard;
Chouikha, Mourad;
Einer, Stefan;
Meyer zu Hörste, Michael:
BASYSNET - An Integrated Approach for Automated Control System Development.
2003.
-
Schnieder, Eckehard;
Chouikha, M.;
Einer, S.;
Meyer zu Hörste, M.:
BASYSNET - An Integrated Approach for Automated Control System Development.
2001.
-
Einer, S.;
Schieder, E.:
A Petri net based modeling approach for operating methods in train control systems.
2000.
-
Einer, S.;
Slovak, R.;
Schnieder, E.:
Modeling train control system with Petri nets - an operational specification.
2000.
-
Chouikha, Mourad;
Einer, Stefan;
zu Hörste, Michael Meyer;
Schnieder, Eckehard:
Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen.
2000.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography