Conference
Invariant semantics of nets with inhibitor arcs
Abstract
We here discuss an invariant semantics of concurrent systems which is a generalisation of the causal partial order (CPO) semantics. The new semantics is consistent with the full operational behaviour of inhibitor and priority nets expressed in terms of step sequences. It employs combined partial orders, or composets, where each composet is a relational structure consisting of a causal partial order and a weak causal partial order. In this paper …
Authors
Janicki R; Koutny M
Series
Lecture Notes in Computer Science
Volume
527
Pagination
pp. 317-331
Publisher
Springer Nature
Publication Date
1991
DOI
10.1007/3-540-54430-5_97
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743