Efficient Simulation of THOR Nets. - Stefan Schöf; Michael Sonnenschein; Ralf Wieting (Application and Theory of Petri Nets, 1995)

Verteilte Simulation höherer Petrinetze. - Stefan Schöf (1997)

Efficient data structures for Time Warp simulation queues. - Stefan Schöf (J. Syst. Archit., 1998)

Modeling of a Library with THORNs. - Frank Köster; Stefan Schöf; Michael Sonnenschein; Ralf Wieting (Concurrent Object-Oriented Programming and Petri Nets, 2001)