The box algebra = Petri nets + process expressions

  • Authors:
  • Eike Best;Raymond Devillers;Maciej Koutny

  • Affiliations:
  • Fachb. Informatik, Carl von Ossietzky Universität, Oldenburg, Germany;Départ. d'Informatique, Université Libre de Bruxelles, Bruxelles, Belgium;Department of Computing Science, University of Newcastle, Newcastle upon Tyne, United Kingdom

  • Venue:
  • Information and Computation
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

The paper describes a Petri net as well as a structural operational semantics for an algebra of process expressions. It specifically addresses this problem for the box algebra, a model of concurrent computation which combines Petri nets and standard process algebras. The main result is that it is possible to obtain a framework where process expressions can be given two, entirely consistent, kinds of semantics: one based on Petri nets, the other on SOS rules. This consistency can also be extended to a partial order semantics.