On Interval Semantics of Inhibitor and Activator Nets

DOI10.1007/978-3-030-21571-2_12OpenAlexW2952358887MaRDI QIDQ6144214

Ryszard Janicki

Publication date: 29 January 2024

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-030-21571-2_12

zbMATH Keywords

operational semanticsinterval orderinhibitor netinterval sequenceactivator net

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Modeling concurrency with interval traces
• Process semantics of general inhibitor nets
• Nets, time and space
• Structure of concurrency
• Sequential and concurrent behaviour in Petri net theory
• Adequacy-preserving transformations of COSY path programs
• Partial order semantics and read arcs
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Contextual nets
• Modeling operational semantics with interval orders represented by sequences of antichains
• Time in quantum mechanics. Vol. 1.
• Semantics of inhibitor nets
• Intransitive indifference with unequal indifference intervals
• Modeling Interval Order Structures with Partially Commutative Monoids
• The non-sequential behaviour of Petri nets
• Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays
• Operational Semantics, Interval Orders and Sequences of Antichains
• Step traces

This page was built for publication: On Interval Semantics of Inhibitor and Activator Nets