Conference
On Interval Process Semantics of Petri Nets with Inhibitor Arcs
Abstract
Interval order semantics of Petri nets with inhibitor arc is discussed. Both the operational semantics and process, i.e. concurrent history, semantics are defined and their mutual relationship is discussed. It is shown that if operational semantics is restricted to stratified orders (i.e. step sequences) the proposed model is equivalent to models based on step processes and comtraces.
Authors
Alqarni M; Janicki R
Series
Lecture Notes in Computer Science
Volume
9115
Pagination
pp. 77-97
Publisher
Springer Nature
Publication Date
2015
DOI
10.1007/978-3-319-19488-2_4
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743