An event structure semantics for general Petri nets

DOI10.1016/0304-3975(95)00120-4MaRDI QIDQ672871zbMATH OpenOpenAlexFDO

Authors P. W. Hoogers, Jetty 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

event structuresPetri netauto-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)

Recommendations

• Configuration structures, event structures and Petri nets
• Event structures for Petri nets with persistence
• A trace semantics for Petri Nets
• A trace semantics for Petri nets

Cites work

• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 3905836 (Why is no real title available?)
• scientific article; zbMATH DE number 4119615 (Why is no real title available?)
• scientific article; zbMATH DE number 4119660 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• A trace semantics for Petri nets
• An event structure semantics for general Petri nets
• Branching processes of Petri nets
• Elementary transition systems
• Event structures and domains
• PETRI NETS AND STEP TRANSITION SYSTEMS
• Partial (set) 2-structures. II: State spaces of concurrent systems
• Petri nets are monoids
• Petri nets, algebras, morphisms, and compositionality
• Petri nets, event structures and domains. I
• Sequential and concurrent behaviour in Petri net theory

Cited in

(25)

• Branching Processes of General Petri Nets
• Event structures for Petri nets with persistence
• scientific article; zbMATH DE number 2088670 (Why is no real title available?)
• Configuration structures, event structures and Petri nets
• Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
• Topological properties of event structures
• Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• A trace semantics for Petri nets
• Process versus unfolding semantics for Place/Transition Petri nets
• scientific article; zbMATH DE number 2087498 (Why is no real title available?)
• scientific article; zbMATH DE number 1189293 (Why is no real title available?)
• Synthesis of nets with inhibitor arcs
• An event structure semantics for general Petri nets
• Functorial models for Petri nets
• scientific article; zbMATH DE number 7020132 (Why is no real title available?)
• scientific article; zbMATH DE number 4074505 (Why is no real title available?)
• Event structures with disabling/enabling relation and event automata
• Testing equivalences of time Petri nets
• Replication, refinement \& reachability: complexity in dynamic condition-response graphs
• On the join dependency relation in multinomial lattices
• Comparative trace semantics of time Petri nets
• Semantic domains of timed event structures
• How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
• A Symbolic Algorithm for the Synthesis of Bounded Petri Nets

This page was built for publication: An event structure semantics for general Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q672871)