J. Thieme

Model-based generation of modular PLC code using IEC61131 function blocks

Hans-Michael Hanisch, J. Thieme, 2002, Industrial Electronics, 2002. ISIE 2002. Proceedings of the 2002 IEEE International Symposium on.

Petri Net-Based Descriptions for Discrete-Continuous Systems

Katinka Wolter, Georg Frey, Rainer Drath, 2000 .

Modeling and Validation of Hybrid Systems using Extended Timestamp Nets

Kurt Lautenbach, Hans-Michael Hanisch, J. Thieme, 2001 .