Grahlmann, B.

• Grahlmann, Bernd:
  Parallel Programs as Petri Nets. 2001.

• Fleischhack, Hans; Grahlmann, Bernd:
  Towards compositional verification of SDL systems. 1998.

• Grahlmann, Bernd; Pohl, Carola:
  Profiting from Spin in PEP. 1998.

• Fleischhack, Hans; Grahlmann, Bernd:
  A Compositional Petri Net Semantics for SDL. 1998.

• Grahlmann, Bernd:
  Combining Finite Automata, Parallel Programs and SDL Using Petri Nets. 1998.

• Fleischhack, Hans; Grahlmann, Bernd:
  A Compositional Petri Net Semantics for SDL. 1997.

• Grahlmann, Bernd:
  The PEP Tool. 1997.

• Grahlmann, Bernd:
  The PEP Tool. 1997.

• Fleischhack, Hans; Grahlmann, Bernd:
  A Petri Net Semantics for B(PN)² with Procedures. 1997.

• Grahlmann, Bernd:
  The Reference Component of PEP. 1997.

• Grahlmann, Bernd:
  Petri net file formats. 1996.

• Fleischhack, H.; Grahlmann, B.:
  A Petri Net Semantics for B(PN)² with Procedures which Allows Verification. 1996.

• Grahlmann, B.; Best, E.:
  PEP - More than a Petri Net Tool. 1996.

• Grahlmann, B.:
  Verifying Telecommunication Protocols with PEP. 1995.

• Grahlmann, B.; Moeller, M.; Anhalt, U.:
  A new Interface for the PEP tool - Parallel Finite Automata. 1995.

• Grahlmann, B.:
  PEP: A Programming Environment based on Petri Nets. 1995.

Back to the Petri Nets Bibliography