Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets.

H. Genrich, H. Hanisch, and K. Wöllhaf. Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, page 278-297. Springer, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

apl. Prof. Dr. -Ing. Michael Hanss University of Stuttgart

apl. Prof. Dr. -Ing. Niels Hansen University of Stuttgart

Hon. -Prof. Dr. Hans Sommer University of Stuttgart

apl. Prof. Dr. Hans Stein University of Stuttgart

Hon. -Prof. Dr. Hans Opower University of Stuttgart

Other publications of authors with the same name

Verification of distributed control systems in intelligent manufacturing.V. Vyatkin, and H. Hanisch. J. Intelligent Manufacturing, 14 (1): 123-136 (2003)Acheiving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Developer's View.H. Hanisch, and V. Vyatkin. The Industrial Information Technology Handbook, CRC Press, (2005)Component Design and Formal Validation of SFA Systems: A Case Study.V. Vyatkin, and H. Hanisch. BASYS, volume 229 of IFIP Conference Proceedings, page 313-322. Kluwer, (2002)Synthesis of Distributed Controllers by Means of a Monolithic Approach.D. Missal, and H. Hanisch. ETFA, page 356-363. IEEE, (2006)Fault treatment with net condition/event systems: a first approach.T. Both, H. Hanisch, and J. Jorn. ETFA (2), page 429-432. IEEE, (2001)0-7803-7241-7.Plug & play methodologies for inter-level, enterprise logistics and control.M. Jafari, T. Boucher, and H. Hanisch. ETFA (2), page 501-507. IEEE, (2003)0-7803-7937-3.A Component-Based Approach for the Development of Automated Systems.O. Mosbahi, M. Khalgui, H. Hanisch, and Z. Li. IEEE Trans. Systems, Man, and Cybernetics, Part A, 41 (5): 1026-1031 (2011)From IEC 61131 to IEC 61499 for Distributed Systems: A Case Study.C. Gerber, H. Hanisch, and S. Ebbinghaus. EURASIP J. Emb. Sys., (2008)Formal validation of intelligent-automated production systems: towards industrial applications.H. Hanisch, A. Lobov, J. Lastra, R. Tuokko, and V. Vyatkin. IJMTM, 8 (1/2/3): 75-106 (2006)Modeling Admissible Behavior Using Event Signals.L. Pinzon, M. Jafari, A. Amini, and H. Hanisch. ICRA, page 284-291. IEEE, (2005)