A trace semantics for Petri nets

DOI10.1006/INCO.1995.1032MaRDI QIDQ1891167zbMATH OpenOpenAlexFDO

Authors P. W. Hoogers, Jetty Kleijn, P. S. Thiagarajan

Publication date 5 July 1995

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

Full work available at URL https://doi.org/10.1006/inco.1995.1032

zbMATH Keywords

Petri nets

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

• A trace semantics for Petri Nets
• A partial trace semantics for Petri nets
• On trace-expressible behaviour of Petri nets
• An event structure semantics for general Petri nets
• scientific article; zbMATH DE number 4213467

Cited in

(30)

• Relational structures for concurrent behaviours
• Classifying invariant structures of step traces
• Synthesis and Analysis of Petri Nets from Causal Specifications
• Abstract processes and conflicts in place/transition systems
• Trace Semantics for IPDL
• The word problem for \(1\mathcal{LC}\) congruences is NP-hard.
• On profiles and footprints -- relational semantics for Petri nets
• Pomset Languages of Finite Step Transition Systems
• scientific article; zbMATH DE number 2087498 (Why is no real title available?)
• A trace semantics for Petri Nets
• Applying regions
• On trace-expressible behaviour of Petri nets
• Regions of Petri nets with a/sync connections
• An event structure semantics for general Petri nets
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 4119618 (Why is no real title available?)
• Abstract processes in the absence of conflicts in general place/transition systems
• Mind the gap: expanding communication options in decentralized discrete-event control
• On causal semantics of Petri nets (extended abstract)
• Step traces
• Distributed synthesis of asynchronously communicating distributed process models
• Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets
• Abstract processes of place/transition systems
• Trace nets and process automata
• On the semantics of place/transition Petri nets
• Event structures and trace monoids
• Comparative trace semantics of time Petri nets
• A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
• A partial trace semantics for Petri nets
• scientific article; zbMATH DE number 4121456 (Why is no real title available?)

This page was built for publication: A trace semantics for Petri nets

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