Design and formal analysis of Petri net based logic control algorithms = Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen

Acknowledgements The work that has resulted in this thesis could not be performed without the support from several people. and for all encouragement and guidance he has given to me. Prof. Litz not only knows Logic Control , but also how to provide a working atmosphere of intellectual freedom and fruitful cooperation and to work in his team is certainly a privilege. Being a member of a group like the Institute of Automatic Control in Kaiserslautern has given me memories I will never forget: Joint excursions and festivities, interesting discussions on a variety of topics (not necessarily related to our research), and much more. Working in an inspiring and warm atmosphere like this makes this group special: Many thanks to all of you. Lesage from the Ecole Normale Supérieure de Cachan (France) for the interest they took in my work and the time and effort they invested in reviewing this thesis. I would also like to thank Prof. Dr.-Ing. habil. Norbert Wehn for acting as Chair of the Evaluation Committee. I would like to thank all the people involved in the successful implementation of our SIPN-Editor at infoteam GmbH. Especially Karl-Heinz John for giving me the opportunity to see a part of the concepts presented in this thesis entering the area of practical applications. Thanks to Prof. Dr.-Ing. habil. Jörg Raisch at the MPI in Magdeburg for countless inspiring discussions about this work and other even more important topics. To Stéphane Klein for the help with the French references and for proof reading of this thesis and to Sandra Zilles and Anja Wiesen for proof reading essential parts of the manuscript: Without you there would be considerably more errors in this work. The remaining flaws are all my fault. To my parents: Thank you for your love and support despite the fact that I am often not capable of explaining to you what I am actually doing. I hope to improve on this matter. Finally, I give my greatest gratitude to my wife, Nora, for her love, support, patience, and encouragement: This thesis is to you and because of you. I love you so much. Abstract The development of logic control algorithms lies outside the realm of classical continuous Control Theory with its strong mathematical foundations and purely formal design approaches. Logic controller development is closer to software development, in the sense that a special algorithm has to be developed …