Journal article
The Box Algebra=Petri Nets+Process Expressions
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 …
Authors
Best E; Devillers R; Koutny M
Journal
Information and Computation, Vol. 178, No. 1, pp. 44–100
Publisher
Elsevier
Publication Date
October 2002
DOI
10.1006/inco.2002.3117
ISSN
0890-5401