Domain and event structure semantics for Petri nets with read and inhibitor arcs

DOI10.1016/j.tcs.2004.04.001zbMath1078.68103OpenAlexW1996072048MaRDI QIDQ1882900

Paolo Baldan, Andrea Corradini, Nadia Busi, G. Michele Pinna

Publication date: 1 October 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.04.001

zbMATH Keywords

Petri netsDomainsUnfoldingTrue concurrencyCategorical semanticsEvent structuresRead and inhibitor arcs

Mathematics Subject Classification ID

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

Related Items (22)

Comparative trace semantics of time Petri nets ⋮ Unfolding semantics of graph transformation ⋮ On Interval Process Semantics of Petri Nets with Inhibitor Arcs ⋮ Classifying invariant structures of step traces ⋮ On Interval Semantics of Inhibitor and Activator Nets ⋮ Modeling dependencies and simultaneity in membrane system computations ⋮ Unnamed Item ⋮ Relational structures model of concurrency ⋮ How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings ⋮ Spreading nets: a uniform approach to unfoldings ⋮ Interval semantics for Petri nets with inhibitor arcs ⋮ Modeling concurrency with interval traces ⋮ Relational structures for concurrent behaviours ⋮ Flow Unfolding of Multi-clock Nets ⋮ GETGRATS ⋮ Processes and unfoldings: concurrent computations in adhesive categories ⋮ Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions ⋮ Step traces ⋮ Unnamed Item ⋮ Dynamic Causality in Event Structures ⋮ Nadia Busi's publications ⋮ A Petri net view of covalent bonds

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An event structure semantics for general Petri nets
• Process versus unfolding semantics for Place/Transition Petri nets
• On the nature of events: another perspective in concurrency
• Configuration structures, event structures and Petri nets
• Petri nets, event structures and domains. I
• Model checking using net unfoldings
• Partial order and contextual net semantics for atomic and locally atomic CC programs
• On the expressiveness of Linda coordination primitives.
• Contextual Petri nets, asymmetric event structures, and processes
• Contextual nets
• Semantics of inhibitor nets
• On the semantics of place/transition Petri nets
• Efficiency of asynchronous systems and read arcs in petri nets
• Contextual occurrence nets and concurrent constraint programming
• On the nature of events
• Interpolants and Symbolic Model Checking

This page was built for publication: Domain and event structure semantics for Petri nets with read and inhibitor arcs