@phdthesis{Deussen, author = {Deussen, Peter H.}, title = {Analyse verteilter Systeme mit Hilfe von Prozeßautomaten}, publisher = {Brandenburgische Techn. Univ.}, address = {Cottbus}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-000000275}, language = {de} } @inproceedings{MertkeDeussenHeiner, author = {Mertke, Thomas and Deussen, Peter H. and Heiner, Monika}, title = {Eine anwenderorientierte Sicherheitsfachsprache zur Verifikation von Steuerungsprogrammen}, language = {de} } @misc{HeinerDeussenSpranger, author = {Heiner, Monika and Deussen, Peter H. and Spranger, Jochen}, title = {A Case Study in Design and Verification of Manufacturing Systems with Hierarchical Petri Nets}, series = {The International Journal of Advanced Manufacturing Technology}, volume = {15}, journal = {The International Journal of Advanced Manufacturing Technology}, number = {2}, issn = {1433-3015}, pages = {139 -- 152}, language = {en} } @inproceedings{HeinerDeussenSpranger, author = {Heiner, Monika and Deussen, Peter H. and Spranger, Jochen}, title = {A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets}, series = {Proceedings 1st International Workshop on Manufacturing and Petri Nets held at International Conference on Application and Theory of Petri Nets (ICATPN '96, Osaka, June 1996)}, booktitle = {Proceedings 1st International Workshop on Manufacturing and Petri Nets held at International Conference on Application and Theory of Petri Nets (ICATPN '96, Osaka, June 1996)}, pages = {177 -- 196}, language = {en} } @inproceedings{HeinerDeussen, author = {Heiner, Monika and Deussen, Peter H.}, title = {A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets}, series = {CESA '96 IMACS Multiconference, Computational Engineering in Systems Applications, Symposium "Discrete Events and Manufacturing Systems", Lille, July 1996}, booktitle = {CESA '96 IMACS Multiconference, Computational Engineering in Systems Applications, Symposium "Discrete Events and Manufacturing Systems", Lille, July 1996}, pages = {121 -- 126}, language = {en} } @inproceedings{HeinerDeussen, author = {Heiner, Monika and Deussen, Peter H.}, title = {Petri Net Based Design and Analysis of Reactive Systems}, series = {International Workshop on Discrete Event Systems, WODES '96, 19 - 21 August 1996, John McIntyre Centre, Pollock Halls, University of Edinburgh, UK}, booktitle = {International Workshop on Discrete Event Systems, WODES '96, 19 - 21 August 1996, John McIntyre Centre, Pollock Halls, University of Edinburgh, UK}, publisher = {IEE}, address = {London}, isbn = {0-85296-664-4}, pages = {308 -- 313}, language = {en} } @inproceedings{Deussen, author = {Deussen, Peter H.}, title = {Algorithmic Aspects of Concurrent Automata}, series = {Workshop Concurrency, Specification \& Programming, September 28 - 30, 1998}, booktitle = {Workshop Concurrency, Specification \& Programming, September 28 - 30, 1998}, publisher = {Professoren des Institutes f{\"u}r Informatik}, address = {Berlin}, pages = {39 -- 70}, language = {en} } @article{Deussen, author = {Deussen, Peter H.}, title = {Partial Order Verification of Programmable Logic Controllers}, language = {en} } @misc{HeinerMertkeDeussen, author = {Heiner, Monika and Mertke, Thomas and Deussen, Peter H.}, title = {A Safety-Oriented Technical Language for the Requirement Specification in Control Engineering (Eine Sicherheitsfachsprache zur Formulierung steuerungstechnischer Anforderungen); in German}, language = {en} }