Verification of siphons and traps for algebraic Petri nets

DOI10.1007/3-540-63139-9_49MaRDI QIDQ6487384zbMATH OpenFDO

Authors Karsten Schmidt

Publication date 9 December 2022

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• New algorithms for deciding the siphon-trap property
• scientific article; zbMATH DE number 1101604
• An algebraic semantics for hierarchical P/T nets
• scientific article; zbMATH DE number 3905852
• On liveness and controlled siphons in Petri nets

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 4045165 (Why is no real title available?)
• scientific article; zbMATH DE number 47952 (Why is no real title available?)
• On liveness in extended non self-controlling nets
• Petri nets and algebraic specifications

Cited in

(5)

• A survey of siphons in Petri nets
• Verification of bounded Petri nets using integer programming
• Flexibility in Algebraic Nets
• New algorithms for deciding the siphon-trap property
• Algebraic nets with flexible arcs

This page was built for publication: Verification of siphons and traps for algebraic Petri nets

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