Keyword: PEP

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

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

• Bystrov, A.V.; Virbitskaite, I.B.:
  Implementing model checking and equivalence checking for time Petri nets by the RT-MEC tool. 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.

• 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.; Moeller, M.; Anhalt, U.:
  A new Interface for the PEP tool - Parallel Finite Automata. 1995.

Back to the Petri Nets Bibliography