H.-M. Hanisch

A modeling approach for verification of IEC1499 function blocks using net condition/event systems

Valeriy Vyatkin, H.-M. Hanisch, 1999, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467).

Object-oriented modular place/transition formalism for systematic modeling and validation of industrial automation systems

Valeriy Vyatkin, T. Pfeiffer, H.-M. Hanisch, 2003, IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. Proceedings..

Timing diagram specifications in modular modeling of industrial automation systems

Valeriy Vyatkin, H.-M. Hanisch, Gustavo Bouzon, 2005 .

Hierarchical modelling of recipe controllers — A practical approach

H.-M. Hanisch, U. Christmann, H. Brettschneider, 1997 .

Algebraic synthesis and verification of discrete supervisory controllers for forbidden path specifications

H.-M. Hanisch, S. Kowalewski, 1994, Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology.

SEQUENTIAL SPECIFICATION MODELING WITH TEMPORAL LOGIC AND NETCONDITION / EVENT

H.-M. Hanisch, M. A. Jafari, SYSTEMSL. E. Pinzon, 1998 .

TRANSFORMATION OF IEC 61499 CONTROL SYSTEMS TO FORMAL MODELS

H.-M. Hanisch, C. Gerber, I. Ivanova-Vasileva, 2010 .