Paper related to PEP

PEP usage

• Eike Best and Bernd Grahlmann: PEP Documentation and User Guide 1.8. 1998
• Eike Best and Bernd Grahlmann: PEP Documentation and User Guide 1.4. 1995
• Eike Best: Partial Order Verification with PEP. POMIV'96
• E. Best, J. Esparza, B. Grahlmann, S. Melzer, S. Römer, and F. Wallner. The PEP verification system. In FEmSys'97, 1997. Tool presentation.
• (Ed.)Eike Best and Hans Fleischhack: PEP-Workshop Berlin 1994
• Bernd Grahlmann: PEP: Ein Werkzeug zur Modellierung, Simulation, Analyse und Verifikation paralleler Systeme. In: PEP-Workshop Berlin 1994
• Bernd Grahlmann: An Introduction to the Principles, the Functionality and the Use of the PEP System. In: PEP-Workshop Berlin 1994
• Bernd Grahlmann: The State of PEP. AMAST'98. Abstract.
• Bernd Grahlmann: The PEP Tool. CAV'97. Abstract.
• Bernd Grahlmann: The PEP Tool. ATPN'97. Abstract.
• Bernd Grahlmann: PEP: A Programming Environment based on Petri nets. ATPN'95
• Bernd Grahlmann and Eike Best: PEP - More than a Petri Net Tool. TACAS'96. Abstract.
• S. Melzer, S. Römer, and J. Esparza: Verification using PEP. AMAST'96
• C. Stehno. PEP Version 2.0. Tool demonstration ICATPN 2001. Newcastle upon Tyne 2001.

 

B(PN)²

• Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel and Elisabeth Pelz: An M-net Semantics of B(PN)². STRICT'95
• Eike Best and Richard P. Hopkins: B(PN)² - a Basic Petri Net Programming Notation. PARLE'93
• Hans Fleischhack: A High-Level Net Semantics for B(PN)² with Procedures. In: PEP-Workshop Berlin 1994
• Hans Fleischhack and Bernd Grahlmann: A Petri Net Semantics for B(PN)² with Procedures. PDSE'97. Abstract.
• Hans Fleischhack and Bernd Grahlmann: A Petri Net Semantics for B(PN)² with Procedures. (Extended version). Abstract.
• Hans Fleischhack and Bernd Grahlmann: A Petri Net Semantics for B(PN)² with Procedures which Allows Verification. Technical Report , 1996
• Lars Jenner: A Low-Level Net Semantics for B(PN)² Procedures. In: PEP-Workshop Berlin 1994

M-Nets

• Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel and Elisabeth Pelz: A Class of Composable High Level Petri Nets. ATPN'95

Petri Box Calculus

• Eike Best, Raymond Devillers and Jonathan Hall: The Box Calculus: a New Causal Algebra with Multi-Label Communication. APN'92
• Eike Best, Raymond Devillers and Maciej Koutny: The Box Algebra = Petri Nets + Process Expressions. Technical Report, 1999
• Eike Best and Maciej Koutny: A Refined View of the Box Algebra. Application and Theory of Petri Nets'95

Partial Order Model Checking

• Javier Esparza: Model Checking Using Net Unfoldings. Science of Computer Programming, 1994
• Burkhard Graves: Computing Reachability Properties Hidden in Finite Net Unfoldings. FCTTCS17, 1997. Abstract.
• Burkhard Graves: Ein Modelchecker für eine Linear-Time-Logik. Diplomarbeit 1995
• Burkhard Graves: Implementation of a Model Checking Algorithm Based on Partial Order Semantics. In: PEP-Workshop Berlin 1994

Unfolding & Finite Prefix

• Javier Esparza, Stefan Römer and Walter Vogler: An Improvement of McMillan's Unfolding Algorithm. TACAS'96
• J. Esparza, S. Römer, and W. Vogler: An improvement of McMillan's unfolding algorithm. Formal Methods in System Design, 2001.
• Keijo Heljanko: Minimizing Complete Finite Prefixes. CS&P'99
• Keijo Heljanko, Victor Khomenko and Maciej Koutny: Parallelisation of the Petri Net Unfolding Algorithm. Technical Report 2001
• Victor Khomenko and Maciej Koutny: Towards an Efficient Algorithm for Unfolding Petri Nets. ConCur'2001, LNCS 2154
• V. Khomenko and M. Koutny: An Efficient Algorithm for Unfolding Petri Nets. Technical Report 2001
• Ken McMillan: Symbolic Model Checking. Kluwer Academic Publishers, 1993
• K. L. McMillan: A Technique of State Space Search Based on Unfoldings. Formal Methods in System Design, 1995
• Stefan Römer: An Efficient Algorithm for the Computation of Unfoldings of Finite, Safe Petri Nets. In: PEP-Workshop Berlin 1994
• Christian Stehno: Entfaltung von Zeit-Petrinetzen, Integration in das PEP-System und Optimierungen. Diplomarbeit, 2000

Other Model Checker

• Bernd Grahlmann and Carola Pohl: Profiting from Spin in PEP. SPIN Workshop, Paris 1998. Abstract.
• Thomas Thielke: Modelchecking als Komponente der Petrinetzbasierten Entwicklungs- und Programmierumgebung PEP. In: PEP-Workshop Berlin 1994
• Guido Wimmel: A BDD-based Model Checker for the PEP Tool. Project Report 1997

Reachability and Deadlock checking

• J. Esparza and C. Schröter. Reachability Analysis Using Net Unfoldings. Fundamenta Informaticae, 2002
• Keijo Heljanko: Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets. TACAS'99
• Victor Khomenko and Maciej Koutny: LP Deadlock Checking Using Partial Order Dependencies. ConCur'2000, LNCS 1877
• V. Khomenko and M. Koutny: Verification of Bounded Petri Nets Using Integer Programming. Technical Report 2000
• Stephan Melzer and Javier Esparza: Checking System Properties via Integer Programming. ESOP'96
• Stephan Melzer and Stefan Römer: Deadlock Checking Using Net Unfoldings. CAV '97
• Varpaaniemi, K., Heljanko, K., Lilius, J.: PROD 3.2 - An Advanced Tool for Efficient Reachability Analysis. CAV'97

SDL

• Hans Fleischhack and Bernd Grahlmann: A Compositional Petri Net Semantics for SDL. ATPN'98. Abstract.
• Hans Fleischhack and Bernd Grahlmann: A Compositional Petri Net Semantics for SDL. Technical Report 1997. Abstract.
• Hans Fleischhack and Bernd Grahlmann: Towards Compositional Verification of SDL Systems. HICSS'98. Abstract.
• Stefan Schwoon: Übersetzung von SDL-Spezifikationen in Petri-Netze. Diplomarbeit 1998
• Josef Tapken: Entwurf und Implementierung eines Systems zur Verifikation von SDL-Spezifikationen. Diplomarbeit 1995

PFA

• Bernd Grahlmann, Matthias Möller and Ulrich Anhalt: A new Interface for the PEP tool - Parallel Finite Automata -. 2. Workshop Algorithmen und Werkzeuge für Petrinetze, Oldenburg 1995

Temporal Logics

• Robert Riemann: A Temporal Logic for B(PN)² Programs. In: PEP-Workshop Berlin 1994

Case studies

• Bernd Grahlmann: Verifying Telecommunication Protocols with PEP. RELECTRONIC'95

Implementation issues

• Martin Ackermann: Konzeption eines Compilers für eine parallele Programmiersprache mit Prozeduren. Diplomarbeit 1997
• Eike Best and Bernd Grahlmann: Format descriptions. Appendix of: PEP Documentation and User Guide 1.8. 1998
• Burkhard Bieber: Blockabstraktion in einer Programmiersprache für verteilte Systeme. Diplomarbeit 1996
• Matthias Damm: Verweise in PEP und mögliche Anwendungen. In: PEP-Workshop Berlin 1994
• Ulf Fildebrandt: Visuelle Programmierung mit Petrinetzen. Diplomarbeit 1998
• Bernd Grahlmann: The Reference Component of PEP. TACAS'97. Abstract.
• Bernd Grahlmann: Petri Net File Formats. 3. Workshop Algorithmen und Werkzeuge für Petrinetze, Karlsruhe 1996
• Michael Kater: pep_edit. Ein Texteditor zur Bearbeitung und Darstellung der Textdateien innerhalb des PEP-Systems. Studienarbeit 1997
• Michael Kater: SimPEP 3D-Visualisierung und Animation paralleler Prozesse. 1998

Timed models

• Burkhard Bieber and Hans Fleischhack: Model Checking of Time Petri Nets Based on Partial Order Semantics. Concur'99
• Maciej Koutny: A Compositional Model of Time Petri Nets. ATPN'2000

C-Code compiler

• Johannes Jaeger: Codegenerierung für eine parallele Programmiersprache. Diplomarbeit 1997
• Johannes Jaeger: Ergänzende Dokumentation zum B(PN)²->C Codegenerator. 1997
• Stephan Melzer: Conception of a C Code Generator for B(PN)². In: PEP-Workshop Berlin 1994
• Stephan Melzer: Codegenerierung für eine parallele Programmiersprache. Diplomarbeit 1995

Others

• Bernd Grahlmann: Combining Finite Automata, Parallel Programs and SDL using Petri Nets. TACAS'98. Abstract.
• Anja Gronewold: Language Preserving Reductions of Safe Petri Nets. In: PEP-Workshop Berlin 1994

Mail to PEP

Back to PEP's home page