Mathematische Modellierung diskreter Steuerungsaufgaben in diskontinuierlichen verfahrenstechnischen Systemen. - Hans-Michael Hanisch (1987)

Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control. - Hans-Michael Hanisch (Application and Theory of Petri Nets, 1993)

Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets. - Hartmann J. Genrich; Hans-Michael Hanisch; Konrad Wöllhaf (Application and Theory of Petri Nets, 1994)

Control Synthesis of Hybrid Systems Based on Predicate Invariance. - Haoxun Chen; Hans-Michael Hanisch (Hybrid Systems, 1997)

Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Observation. - Hans-Michael Hanisch; Arndt Lüder; Mathias P. Rausch (Eur. J. Control, 1997)

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)

Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen. - Arndt Lüder; E. Hintze; A. Pöschmann; Hans-Michael Hanisch (FBT, 1998)

BatchMon-applying TNCES-models to the online monitoring of recipe driven batch plants. - Ulrich Christmann; Hans-Michael Hanisch (SMC, 1998)

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)

A Comparative Study of Synthesis Methods for Discrete Event Controllers. - Luz E. Pinzon; Hans-Michael Hanisch; Mohsen A. Jafari; Thomas O. Boucher (Formal Methods Syst. Des., 1999)

Modeling Admissible Behavior with Net Condition/Event Systems. - Luz E. Pinzon; Mohsen A. Jafari; Hans-Michael Hanisch (ICRA, 2000)

A Signal Extension for Petri Nets and its Use in Controller Design. - Hans-Michael Hanisch; Arndt Lüder (Fundam. Informaticae, 2000)

Control synthesis of timed discrete event systems based on predicate invariance. - Haoxun Chen; Hans-Michael Hanisch (IEEE Trans. Syst. Man Cybern. Part B, 2000)

Fault treatment with net condition/event systems: a first approach. - T. Both; Hans-Michael Hanisch; J. Jorn (ETFA (2), 2001)

Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems. - Valeriy Vyatkin; Hans-Michael Hanisch (ETFA (2), 2001)

Application of visual specifications for verification of distributed controllers. - Valeriy Vyatkin; Hans-Michael Hanisch (SMC, 2001)

Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model. - Haoxun Chen; Hans-Michael Hanisch (Discret. Event Dyn. Syst., 2001)

Component Design and Formal Validation of SFA Systems: A Case Study. - Valeriy Vyatkin; Hans-Michael Hanisch (BASYS, 2002)

Design and implementation of a prototype control system according to IEC 61499. - Xiujun Cai; Valeriy Vyatkin; Hans-Michael Hanisch (ETFA (2), 2003)

Modular modeling of roll-based calender manufacturing environments. - Oliver Gutzeit; Hans-Michael Hanisch (ETFA (2), 2003)

Plug & play methodologies for inter-level, enterprise logistics and control. - Mohsen A. Jafari; Thomas O. Boucher; Hans-Michael Hanisch (ETFA (2), 2003)

Verification of distributed control systems in intelligent manufacturing. - Valeriy Vyatkin; Hans-Michael Hanisch (J. Intell. Manuf., 2003)

Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering. - Hans-Michael Hanisch (Abstract State Machines, 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)

Modeling admissible behavior using event signals. - Luz E. Pinzon; Mohsen A. Jafari; Hans-Michael Hanisch; Peng Zhao (IEEE Trans. Syst. Man Cybern. Part B, 2004)

Acheiving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Developer's View. - Hans-Michael Hanisch; Valeriy Vyatkin (The Industrial Information Technology Handbook, 2005)

Translation validation for model-based code-generators for PLCs. - D. Pollmacher; Wolf Zimmermann; Hans-Michael Hanisch (ETFA, 2005)

Reuse of components in formal modeling and verification of distributed control systems. - Valeriy Vyatkin; Hans-Michael Hanisch (ETFA, 2005)

Modeling Admissible Behavior Using Event Signals. - Luz E. Pinzon; Mohsen A. Jafari; Ardavan Amini; Hans-Michael Hanisch (ICRA, 2005)

Modelling and Verification of IEC 61499 Applications using Prolog. - Victor Dubinin; Valeriy Vyatkin; Hans-Michael Hanisch (ETFA, 2006)

Synthesis of Distributed Controllers by Means of a Monolithic Approach. - Dirk Missal; Hans-Michael Hanisch (ETFA, 2006)

Systematic Design and Implementation of Distributed Controllers in Industrial Automation. - Valeriy Vyatkin; Martin Hirsch 002; Hans-Michael Hanisch (ETFA, 2006)

Rapid engineering and re-configuration of automation objects aided by formal modelling and verification. - Valeriy Vyatkin; Hans-Michael Hanisch; Sirko Karras; Thomas Pfeiffer 005; Victor Dubinin (Int. J. Manuf. Res., 2006)

Formal validation of intelligent-automated production systems: towards industrial applications. - Hans-Michael Hanisch; Andrei Lobov; Jose L. Martinez Lastra; Reijo Tuokko; Valeriy Vyatkin (Int. J. Manuf. Technol. Manag., 2006)

Hierarchical distributed controllers - design and verification. - Dirk Missal; Martin Hirsch 002; Hans-Michael Hanisch (ETFA, 2007)

Modular plant modelling for distributed control. - Dirk Missal; Hans-Michael Hanisch (SMC, 2007)

Automatic specification of feasible Control Tasks in Benchmark Production Systems. - Mohamed Khalgui; Hans-Michael Hanisch (ETFA, 2008)

A formal approach to check and schedule reconfigurable embedded control systems. - Mohamed Khalgui; Olfa Mosbahi; Hans-Michael Hanisch (ETFA, 2008)

Reconfiguration of Embedded Systems. - Mohamed Khalgui; Martin Hirsch 002; Dirk Missal; Hans-Michael Hanisch (ICINCO-ICSO, 2008)

NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems. - Mohamed Khalgui; Hans-Michael Hanisch (SIES, 2008)

From IEC 61131 to IEC 61499 for Distributed Systems: A Case Study. - Christian Gerber; Hans-Michael Hanisch; Sven Ebbinghaus (EURASIP J. Embed. Syst., 2008)

An optimised simulation of component-based embedded systems in manufacturing industry. - Mohamed Khalgui; Emanuele Carpanzano; Hans-Michael Hanisch (Int. J. Simul. Process. Model., 2008)

Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems. - Mohamed Khalgui; Hans-Michael Hanisch; Atef Gharbi (ETFA, 2009)

Implementation of agent-based reconfigurable embedded control systems. - Mohamed Khalgui; Olfa Mosbahi; Hans-Michael Hanisch (INDIN, 2009)

Specification of technical plant behavior with a safety-oriented technical language. - Sebastian Preuße; Hans-Michael Hanisch (INDIN, 2009)

Closed-Loop Modeling in Future Automation System Engineering and Validation. - Valeriy Vyatkin; Hans-Michael Hanisch; Cheng Pang; Chia-Han Yang (IEEE Trans. Syst. Man Cybern. Part C, 2009)

A complete framework for controller verification in manufacturing. - Christian Gerber; Sebastian Preuße; Hans-Michael Hanisch (ETFA, 2010)

Improving verification and reliability of distributed control systems design according to IEC 61499. - Hans-Christian Lapp; Christian Gerber; Hans-Michael Hanisch (ETFA, 2010)

Design Approaches for IEC 61499 Control Applications. - Sebastian Preuße; Christian Gerber; Hans-Michael Hanisch (GI Jahrestagung (1), 2010)

Virtual start-up of plants using formal methods. - Sebastian Preuße; Christian Gerber; Hans-Michael Hanisch (Int. J. Comput. Appl. Technol., 2011)

Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems. - Mohamed Khalgui; Hans-Michael Hanisch (Int. J. Model. Identif. Control., 2011)

Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation. - Mohamed Khalgui; Olfa Mosbahi; Zhiwu Li 001; Hans-Michael Hanisch (IEEE Trans. Computers, 2011)

Reconfiguration Protocol for Multi-Agent Control Software Architectures. - Mohamed Khalgui; Hans-Michael Hanisch (IEEE Trans. Syst. Man Cybern. Part C, 2011)

A Component-Based Approach for the Development of Automated Systems. - Olfa Mosbahi; Mohamed Khalgui; Hans-Michael Hanisch; Zhiwu Li 001 (IEEE Trans. Syst. Man Cybern. Part A, 2011)

Closed-loop system modeling, validation, and verification. - Sebastian Preuße; Hans-Christian Lapp; Hans-Michael Hanisch (ETFA, 2012)

Process Control Synthesis Improved by Structural Model Properties. - Hans-Christian Lapp; Hans-Michael Hanisch (PECCS, 2012)

Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems. - ZhiWu Li 001; GaiYun Liu; Hans-Michael Hanisch; MengChu Zhou (IEEE Trans. Syst. Man Cybern. Part A, 2012)

A New DES Control Synthesis Approach Based on Structural Model Properties. - Hans-Christian Lapp; Hans-Michael Hanisch (IEEE Trans. Ind. Informatics, 2013)

Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems. - ZhiWu Li 001; GaiYun Liu; Hans-Michael Hanisch; MengChu Zhou (IEEE Trans. Syst. Man Cybern. Syst., 2013)

Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems. - Victor Dubinin; Valeriy Vyatkin; Hans-Michael Hanisch (TrustCom/BigDataSE/ISPA (3), 2015)