Concepedia

H.‐M. Hanisch

HH

25

Publications

859

Citations

17

H-Index

1992

Active since

Affiliations

Martin Luther University Halle-Wittenberg(Current)

Otto-von-Guericke University Magdeburg

University Hospital Magdeburg

Institute of Automation

University of Auckland

H.‐M. Hanisch is an author at Martin Luther University Halle-Wittenberg specializing in systems engineering, engineering, and process control.

Top concepts

EngineeringSystems EngineeringFormal VerificationFormal MethodsProcess ControlComputer EngineeringIndustrial InformaticsComputer ScienceIndustrial EngineeringAutomation

Publications per year

1992–2011

25

Publications

25

Net condition/event systems with multiple condition outputs

Mathias Rausch, H.‐M. Hanisch · 2002 · 129 citations

Petri Net Representation, Petri Net, Engineering +19

Closed-Loop Modeling in Future Automation System Engineering and Validation

Valeriy Vyatkin, H.‐M. Hanisch, Cheng Pang et al. · IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews) · 2008 · 109 citations

Engineering, Industrial Engineering, Software Engineering +21

Modeling of PLC behavior by means of timed net condition/event systems

H.‐M. Hanisch, Jan Thieme, Arndt Lüder et al. · 2002 · 79 citations

Engineering, Industrial Engineering, Real-time System Design +22

A Signal Extension for Petri Nets and its Use in Controller Design

H.‐M. Hanisch, Arndt Lüder · Fundamenta Informaticae · 2000 · 72 citations

Petri Net, Engineering, Formal Controller Verification +21

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

Valeriy Vyatkin, H.‐M. Hanisch · 2003 · 62 citations

Engineering, Iec1499 Function Blocks, Verification +23

Rows per page

1–5 of 25