Verification of siphons and traps for algebraic Petri nets

DOI10.1007/3-540-63139-9_49zbMATH Open1510.68069MaRDI QIDQ6487384FDOQ6487384

Authors: Karsten Schmidt 

Publication date: 9 December 2022

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Petri nets and algebraic specifications
• Title not available (Why is that?)
• On liveness in extended non self-controlling nets

Cited In (5)

• A survey of siphons in Petri nets
• Flexibility in Algebraic Nets
• Verification of bounded Petri nets using integer programming
• 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)