Process semantics of general inhibitor nets

DOI10.1016/J.IC.2003.11.002zbMath1101.68699OpenAlexW2086132139MaRDI QIDQ598184

Maciej Koutny, H. C. M. Kleijn

Publication date: 6 August 2004

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2003.11.002

zbMATH Keywords

Petri netsCausality semanticsOccurrence netsProcessesStep sequencesTheory of concurrencyWeighted inhibitor arcs

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (15)

On Interval Process Semantics of Petri Nets with Inhibitor Arcs ⋮ Non-atomic Transition Firing in Contextual Nets ⋮ On Interval Semantics of Inhibitor and Activator Nets ⋮ Localities in systems with a/sync communication ⋮ Modelling Concurrency with Quotient Monoids ⋮ A PO characterisation of reconfiguration ⋮ Failures: Their Definition, Modelling and Analysis ⋮ Modelling concurrency with comtraces and generalized comtraces ⋮ Relational structures model of concurrency ⋮ The Mutex Paradigm of Concurrency ⋮ Interval semantics for Petri nets with inhibitor arcs ⋮ Processes of membrane systems with promoters and inhibitors ⋮ Modeling concurrency with interval traces ⋮ Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions ⋮ Executability of scenarios in Petri nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structure of concurrency
• Theory of relations. Transl. from the French by P. Clote
• Sequential and concurrent behaviour in Petri net theory
• Executions: A new partial-order semantics of Petri nets
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Fundamentals of modelling concurrency using discrete relational structures
• Partial order semantics and read arcs
• Semantics of inhibitor nets
• The non-sequential behaviour of Petri nets
• On Synchronicity and Concurrency in Petri Nets
• Unifying Petri nets. Advances in Petri nets

This page was built for publication: Process semantics of general inhibitor nets