An event structure semantics for general Petri nets

DOI10.1016/0304-3975(95)00120-4zbMath0872.68126OpenAlexW2089336326MaRDI QIDQ672871

P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan

Publication date: 28 February 1997

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

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00120-4

zbMATH Keywords

Petri netevent structuresauto-concurrencylocal event structuresUL-event structures

Mathematics Subject Classification ID

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

Related Items

Domain and event structure semantics for Petri nets with read and inhibitor arcs ⋮ Comparative trace semantics of time Petri nets ⋮ Semantic domains of timed event structures ⋮ Configuration structures, event structures and Petri nets ⋮ Replication, refinement \& reachability: complexity in dynamic condition-response graphs ⋮ Synthesis of nets with inhibitor arcs ⋮ A Symbolic Algorithm for the Synthesis of Bounded Petri Nets ⋮ Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures ⋮ Testing equivalences of time Petri nets ⋮ An event structure semantics for general Petri nets ⋮ Process versus unfolding semantics for Place/Transition Petri nets ⋮ On the join dependency relation in multinomial lattices ⋮ How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings ⋮ Branching Processes of General Petri Nets ⋮ Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes ⋮ Topological Properties of Event Structures ⋮ Functorial models for Petri nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An event structure semantics for general Petri nets
• Partial (set) 2-structures. II: State spaces of concurrent systems
• Petri nets are monoids
• Petri nets, algebras, morphisms, and compositionality
• Sequential and concurrent behaviour in Petri net theory
• Event structures and domains
• Petri nets, event structures and domains. I
• Branching processes of Petri nets
• Elementary transition systems
• A trace semantics for Petri nets
• PETRI NETS AND STEP TRANSITION SYSTEMS