Model Validation in Controller Design. - Jörg Desel; Vesna Milijic; Christian Neumair (Lectures on Concurrency and Petri Nets, 2003)

Modelling and Control with Modules of Signal Nets. - Gabriel Juhás; Robert Lorenz 001; Christian Neumair (Lectures on Concurrency and Petri Nets, 2003)

Modelling and Validation with VipTool. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001; Christian Neumair (Business Process Management, 2003)

Finite Unfoldings of Unbounded Petri Nets. - Jörg Desel; Gabriel Juhás; Christian Neumair (ICATPN, 2004)

Synthesis of Controlled Behavior with Modules of Signal Nets. - Gabriel Juhás; Robert Lorenz 001; Christian Neumair (ICATPN, 2004)

A Guide to Modelling and Control with Modules of Signal Nets. - Jörg Desel; Hans-Michael Hanisch; Gabriel Juhás; Robert Lorenz 001; Christian Neumair (SoftSpez Final Report, 2004)

Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen. - Jörg Desel; Christian Neumair (DDI, 2008)