Conference
Partial order semantics of Box expressions
Abstract
We develop a partial order semantics for the process expressions underlying the Petri Box Calculus. We aim at a semantics which would be equivalent to the standard partial order semantics of the Petri nets (Boxes) corresponding to such expressions. The solution we present is a variant of step sequence semantics in which actions are annotated with an additional information about the relative position of the parts of the expression from which …
Authors
Koutny M
Series
Lecture Notes in Computer Science
Volume
815
Pagination
pp. 318-337
Publisher
Springer Nature
Publication Date
1994
DOI
10.1007/3-540-58152-9_18
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743