Towards a synthesis method for distributed safety controllers based on net condition/event systems. - Hans-Michael Hanisch; Jan Thieme; Arndt Lüder (J. Intell. Manuf., 1997)

A modular plant modeling technique and related controller synthesis problems. - Hans-Michael Hanisch; Arndt Lüder; Jan Thieme (SMC, 1998)

Timestamp nets in technical applications. - Hans-Michael Hanisch; Jan Thieme; Kurt Lautenbach; Carlo Simon (SMC, 1998)