| 2013 | IECON | Online monitoring of a distributed building automation system to verify large sequences of bus messages by causal Petri net models. | Patrick Diekhake, Eckehard Schnieder |
| 2009 | VTC | Traffic Flow Organization by means of a Vehicle-Sided Rule-Bases. | Matthias Hbner, Tobias Lck, Eckehard Schnieder |
| 2009 | VTC | Reference Measurement Platforms for Satellite Based Localisation in Ground Transportation. | Matthias Hbner, Jan Poliak, Daniel Beisel, Uwe Becker, Eckehard Schnieder |
| 2007 | ETFA | UML-based safety analysis of distributed automation systems. | Sebastian Schreiber, Till Schmidberger, Alexander Fay, Jrg May, Jrn Drewes, Eckehard Schnieder |
| 2007 | WSC | Duality in high level petri-nets: a basis to do diagnoses. | Jrg R. Mller, Eckehard Schnieder |
| 2000 | SMC | Modeling train control systems with Petrinets-an operational specification. | Stefan Einer, Roman Slovk, Eckehard Schnieder |
| 2000 | SMC | Modeling train control systems with Petri nets-a functional reference-architecture. | Michael Meyer zu Hrste, Eckehard Schnieder |
| 2000 | SMC | Holistic modeling of complex systems with Petri nets. | Penglin Zhu, Eckehard Schnieder |
| 1999 | FM | Formal Modelling and Simulation of Train Control Systems Using Petri Nets. | Michael Meyer zu Hrste, Eckehard Schnieder |