Sign in
Back
On Interval Process Semantics of Petri Nets with Inhibitor Arcs
Conference proceeding   Peer reviewed

On Interval Process Semantics of Petri Nets with Inhibitor Arcs

Mohammed Alqarni and Ryszard Janicki
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, Vol.9115, pp.77-97
Lecture Notes in Computer Science
01/01/2015
DOI: https://doi.org/10.1007/978-3-319-19488-2_4

Abstract

Computer Science Computer Science, Software Engineering Computer Science, Theory & Methods Science & Technology Technology
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.

Metrics

1 Record Views

Details