Keyword: process algebra

• Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej; Pommereau, Franck:
  An Algebra of Non-safe Petri Boxes. 2002.

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

• Mayr, Richard:
  Decidability of model checking with the temporal logic EF. 2001.

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

• Cherkasova, Ludmila A.; Kotov, Vadim E.:
  Descriptive and Analytical Process Algebras. 1990.

Back to the Petri Nets Bibliography