PEP - More than a Petri Net Tool. - Bernd Grahlmann; Eike Best (TACAS, 1996)

The PEP Tool. - Bernd Grahlmann (CAV, 1997)

A Petri Net Semantics for B(PN)2 with Procedures. - Bernd Grahlmann; Hans Fleischhack (PDSE, 1997)

The Reference Component of PEP. - Bernd Grahlmann (TACAS, 1997)

The State of PEP. - Bernd Grahlmann (AMAST, 1998)

A Compositional Petri Net Semantics for SDL. - Hans Fleischhack; Bernd Grahlmann (ICATPN, 1998)

Towards Compositional Verification of SDL Systems. - Bernd Grahlmann; Hans Fleischhack (HICSS (7), 1998)

Combining Finite Automata, Parallel Programs and SDL Using Petri Nets. - Bernd Grahlmann (TACAS, 1998)