par Best, Eike ;Devillers, Raymond ;Koutny, Maciej
Référence Information and computation, 178, 1, page (44-100)
Publication Publié, 2002-10
Article révisé par les pairs
Résumé : 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.