Bernd Grahlmann

The Reference Component of PEP

Bernd Grahlmann, 1997, TACAS.

The State of PEP

Bernd Grahlmann, Bernd Grahlmann, 1999, AMAST.

Profiting from Spin in PEP

Bernd Grahlmann, Carola Pohl, 1998 .

A Compositional Petri Net Semantics for SDL

Hans Fleischhack, Bernd Grahlmann, H. Fleischhack, 1998, ICATPN.

Combining Finite Automata, Parallel Programs and SDL Using Petri Nets

Bernd Grahlmann, Bernd Grahlmann, 1998, TACAS.

A New Interface for the PEP Tool - Parallel Finite Automata

Bernd Grahlmann, Matthias Moeller, Ulrich Anhalt, 1995 .

The PEP Tool

Bernd Grahlmann, Bernd Grahlmann, 1997, CAV.

PEP - More than a Petri Net Tool

Eike Best, Bernd Grahlmann, E. Best, 1996, TACAS.

Towards compositional verification of SDL systems

Hans Fleischhack, Bernd Grahlmann, H. Fleischhack, 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

A Petri net semantics for B(PN)/sup 2/ with procedures

Hans Fleischhack, Bernd Grahlmann, H. Fleischhack, 1997, Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems.