On Interval Process Semantics of Petri Nets with Inhibitor Arcs

DOI10.1007/978-3-319-19488-2_4zbMath1432.68298OpenAlexW1195199320MaRDI QIDQ2941144

Mohammed Alqarni, Ryszard Janicki

Publication date: 27 August 2015

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-19488-2_4

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Interval semantics for Petri nets with inhibitor arcs ⋮ Modeling concurrency with interval traces

Cites Work

• Process semantics of general inhibitor nets
• Structure of concurrency
• Relational structures model of concurrency
• Fundamentals of modelling concurrency using discrete relational structures
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Contextual nets
• Semantics of inhibitor nets
• Intransitive indifference with unequal indifference intervals
• The non-sequential behaviour of Petri nets
• Complete Process Semantics for Inhibitor Nets
• The mutual exclusion problem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Interval Process Semantics of Petri Nets with Inhibitor Arcs