Modellierung, Simulation und Analyse mit dem Petri-Netz-Tool POSEIDON. - Kurt Lautenbach; Jörg R. Müller; Stephan Philippi (Promise, 2002)

A Formal Description of the Basic Concepts of System Theory for Transportation. - Eckehard Schnieder; Jörg R. Müller (Formal Methods in Software and Systems Modeling, 2005)

Duality in high level petri-nets: a basis to do diagnoses. - Jörg R. Müller; Eckehard Schnieder (WSC, 2007)