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)

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

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)