Siphons, traps and high-level nets with infinite color domains

DOI10.1007/3-540-63139-9_41MaRDI QIDQ6487380zbMATH OpenFDO

Authors Karsten Wolf

Publication date 9 December 2022

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On liveness and controlled siphons in Petri nets
• On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets
• scientific article; zbMATH DE number 4028914
• scientific article; zbMATH DE number 3878370
• Liveness characterization for GFC systems. II

Cites work

• scientific article; zbMATH DE number 3890746 (Why is no real title available?)
• scientific article; zbMATH DE number 4030998 (Why is no real title available?)
• scientific article; zbMATH DE number 4045165 (Why is no real title available?)
• scientific article; zbMATH DE number 3742638 (Why is no real title available?)
• scientific article; zbMATH DE number 47952 (Why is no real title available?)
• scientific article; zbMATH DE number 4128405 (Why is no real title available?)
• Free Choice Petri Nets
• On liveness in extended non self-controlling nets
• Parameterized reachability trees for algebraic Petri nets

This page was built for publication: Siphons, traps and high-level nets with infinite color domains

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