Formal Modelling and Simulation of Train Control Systems Using Petri Nets. - Michael Meyer zu Hörste; Eckehard Schnieder (World Congress on Formal Methods, 1999)

Modeling train control systems with Petri nets-a functional reference-architecture. - Michael Meyer zu Hörste; 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)

Rail2X: Demonstration of Vehicle2X Technologies for Rail-Related Applications. - Michael Meyer zu Hörste; Andreas Kluge; Tobias Frankiewicz (Nets4Cars/Nets4Trains/Nets4Aircraft, 2016)