Meyer zu Hörste, M.

• Schnieder, Eckehard; Chouikha, Mourad; Einer, Stefan; Meyer zu Hörste, Michael:
  BASYSNET - An Integrated Approach for Automated Control System Development. 2003.

• Meyer zu Hörste, Michael; Slovak, Roman; Schnieder, Eckehard:
  Modellierung und Simulation von Eisenbahnleit- und -sicherungssystemen auf der Basis generischer Funktionen. 2001.

• Schnieder, Eckehard; Chouikha, M.; Einer, S.; Meyer zu Hörste, M.:
  BASYSNET - An Integrated Approach for Automated Control System Development. 2001.

• Illgen, Ilona; Meyer zu Hörste, Michael; Ptok, Bernhard; Schnieder, Eckehard; Schrom, Hralad; Weber, Ines:
  Distributed multi-train simulation with integration of real component simulators. 2000.

• Meyer zu Hörste, M.; Ptok, B.; Schnieder, E.; Schrom, H.:
  A case study for the automated system development: the satellite-based train control system. 2000.

• Meyer zu Hörste, M.; Schnieder, E.:
  Modeling train control systems with petri nets - a functional reference architecture. 2000.

• Meyer zu Hörste, Michael:
  Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung. 1999.

• Meyer zu Hörste, Michael; Schnieder, Eckehard:
  Modelling and Simulation of Train Control Systems using Petri Nets. 1999.

• Meyer zu Hörste, Michael:
  Modelling and Simulation of Train Control Systems with Petri nets. 1999.

• Jansen, L.; Meyer zu Hörste, M.; Schnieder, E.:
  Technical Issues in Modelling the European Train Control System (ETCS) Using Coloured Petri Nets and the Design/CPN Tools. 1998.

• Meyer zu Hörste, Michael:
  Die formale Modellierung und Simulation von ERTMS ETCS auf der Basis von Petrinetzen. 1998.

Back to the Petri Nets Bibliography