Operational semantics for Petri net components

DOI10.1016/J.TCS.2007.01.003MaRDI QIDQ2373704zbMATH OpenOpenAlexFDO

Authors Jan Friso Groote, Marc Voorhoeve

Publication date 16 July 2007

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

Full work available at URL https://doi.org/10.1016/j.tcs.2007.01.003

zbMATH Keywords

bisimulationmodellingPetri netsprocess algebrasemanticsverification

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

• A compositional partial order semantics for Petri net components
• scientific article; zbMATH DE number 4037225
• A compositional dataflow semantics for Petri nets
• scientific article; zbMATH DE number 3967922
• scientific article; zbMATH DE number 3980501

Cites work

• A compositional partial order semantics for Petri net components
• A uniform approach to true-concurrency and interleaving semantics for Petri nets
• Algebraic laws for nondeterminism and concurrency
• Branching bisimilarity is an equivalence indeed!
• Branching time and abstraction in bisimulation semantics
• ESTL: A Temporal Logic for Events and States
• scientific article; zbMATH DE number 4030999 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• scientific article; zbMATH DE number 1223710 (Why is no real title available?)
• scientific article; zbMATH DE number 606833 (Why is no real title available?)
• scientific article; zbMATH DE number 1863181 (Why is no real title available?)
• Operational and denotational semantics for the box algebra
• Process Algebra
• Rooted branching bisimulation as a congruence
• Structured operational semantics and bisimulation as a congruence
• Three logics for branching bisimulation

Cited in

(4)

• scientific article; zbMATH DE number 4037225 (Why is no real title available?)
• scientific article; zbMATH DE number 7339678 (Why is no real title available?)
• From hierarchical BIP to Petri calculus
• A compositional partial order semantics for Petri net components

This page was built for publication: Operational semantics for Petri net components

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