In: Donatelli, Susanna; Kleijn, Jetty: Lecture Notes in Computer Science, Vol. 1630: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, pages 344-363. Springer-Verlag, June 1999.
Abstract: The paper outlines a Petri net as well as a structural op- erational semantics for an Algebra of process expressions. lt specifically addresses this problem for the box Algebra, a model of concurrent computation which combines Petri nets and standard process algebras. The paper proceeds in arguably the most general setting. For it allows infinite operators, and recursive definitions which can be unguarded and involve infinitely many recursion variables. 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.
Keywords: Net-based algebraic calculi; relationships between net theory and other approaches; process algebras; box algebra; refinement; recursion; SOS semantics..