Lookup NU author(s): Professor Eike Best,
Professor Maciej Koutny
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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.
Author(s): Best E, Devillers R, Koutny M
Publication type: Article
Publication status: Published
Journal: Information and Computation
ISSN (print): 0890-5401
ISSN (electronic): 1090-2651
Publisher: Academic Press
Altmetrics provided by Altmetric