Partial Order Semantics of Types of Nets

DOI10.1007/978-3-540-95891-8_36MaRDI QIDQ3599087zbMATH OpenOpenAlexFDO

Authors Robert Lorenz, Gabriel Juhás, Sebastian Mauser

Publication date 3 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://opus.bibliothek.uni-augsburg.de/opus4/files/55416/55416.pdf

Mathematics Subject Classification ID

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

Recommendations

• Partial order behaviour and structure of Petri nets
• Synthesis of Petri nets from finite partial languages
• scientific article; zbMATH DE number 1490008
• scientific article; zbMATH DE number 18633
• scientific article; zbMATH DE number 1361506

Cites work

• Applications and Theory of Petri Nets 2005
• Causal semantics of algebraic Petri nets distinguishing concurrency and synchronicity
• Comparison of different algorithms to synthesize a Petri net from a partial language
• From Petri nets to automata with concurrency
• scientific article; zbMATH DE number 4087033 (Why is no real title available?)
• scientific article; zbMATH DE number 1302048 (Why is no real title available?)
• scientific article; zbMATH DE number 1973122 (Why is no real title available?)
• scientific article; zbMATH DE number 1973126 (Why is no real title available?)
• Partial (set) 2-structures. I: Basic notions and the representation problems
• Synthesis of Petri nets from finite partial languages
• The synthesis of Petri nets from path-automatic specifications
• Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios

Cited in

(9)

• Partial order and contextual net semantics for atomic and locally atomic CC programs
• Partial order semantics and read arcs
• MSO logic and the partial order semantics of place/transition-nets
• scientific article; zbMATH DE number 3943004 (Why is no real title available?)
• scientific article; zbMATH DE number 4035156 (Why is no real title available?)
• scientific article; zbMATH DE number 18633 (Why is no real title available?)
• scientific article; zbMATH DE number 149517 (Why is no real title available?)
• Visible acyclic differential nets. I: Semantics
• Partial order behaviour and structure of Petri nets

This page was built for publication: Partial Order Semantics of Types of Nets

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