TY - THES A1 - Deussen, Peter H. T1 - Analyse verteilter Systeme mit Hilfe von Prozeßautomaten KW - Verteilte Systeme KW - Prozeßautomaten KW - Modelchecking KW - Verifikation KW - DCTL KW - Petri-Netze Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000275 PB - Brandenburgische Techn. Univ. CY - Cottbus ER - TY - CHAP A1 - Mertke, Thomas A1 - Deussen, Peter H. A1 - Heiner, Monika T1 - Eine anwenderorientierte Sicherheitsfachsprache zur Verifikation von Steuerungsprogrammen Y1 - 2001 ER - TY - GEN A1 - Heiner, Monika A1 - Deussen, Peter H. A1 - Spranger, Jochen T1 - A Case Study in Design and Verification of Manufacturing Systems with Hierarchical Petri Nets T2 - The International Journal of Advanced Manufacturing Technology Y1 - 1999 UR - http://www-dssz.informatik.tu-cottbus.de/publications/papers/1999_heiner_deussen_spranger_journalAMT_productionCell.pdf SN - 1433-3015 SN - 0268-3768 VL - 15 IS - 2 SP - 139 EP - 152 ER - TY - CHAP A1 - Heiner, Monika A1 - Deussen, Peter H. A1 - Spranger, Jochen T1 - A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets T2 - 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) Y1 - 1996 UR - http://www-dssz.informatik.tu-cottbus.de/publications/papers/1996_osaka.pdf N1 - referiert SP - 177 EP - 196 ER - TY - CHAP A1 - Heiner, Monika A1 - Deussen, Peter H. T1 - A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets T2 - CESA '96 IMACS Multiconference, Computational Engineering in Systems Applications, Symposium "Discrete Events and Manufacturing Systems", Lille, July 1996 Y1 - 1996 UR - http://www-dssz.informatik.tu-cottbus.de/publications/papers/1996_lille.pdf N1 - referiert SP - 121 EP - 126 ER - TY - CHAP A1 - Heiner, Monika A1 - Deussen, Peter H. T1 - Petri Net Based Design and Analysis of Reactive Systems T2 - International Workshop on Discrete Event Systems, WODES '96, 19 - 21 August 1996, John McIntyre Centre, Pollock Halls, University of Edinburgh, UK Y1 - 1996 UR - http://www-dssz.informatik.tu-cottbus.de/publications/papers/1996_edingburgh.pdf SN - 0-85296-664-4 N1 - referiert SP - 308 EP - 313 PB - IEE CY - London ER - TY - CHAP A1 - Deussen, Peter H. T1 - Algorithmic Aspects of Concurrent Automata T2 - Workshop Concurrency, Specification & Programming, September 28 - 30, 1998 Y1 - 1998 UR - http://www-dssz.informatik.tu-cottbus.de/publications/papers/1998_pd_csp.pdf N1 - referiert SP - 39 EP - 70 PB - Professoren des Institutes für Informatik CY - Berlin ER - TY - JOUR A1 - Deussen, Peter H. T1 - Partial Order Verification of Programmable Logic Controllers Y1 - 2001 ER - TY - GEN A1 - Heiner, Monika A1 - Mertke, Thomas A1 - Deussen, Peter H. T1 - A Safety-Oriented Technical Language for the Requirement Specification in Control Engineering (Eine Sicherheitsfachsprache zur Formulierung steuerungstechnischer Anforderungen); in German Y1 - 2001 ER -