Verification of siphons and traps for algebraic Petri nets

DOI10.1007/3-540-63139-9_49zbMath1510.68069MaRDI QIDQ6487384

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)

Related Items (3)

Flexibility in Algebraic Nets ⋮ A survey of siphons in Petri nets ⋮ Algebraic nets with flexible arcs

Cites Work

• Petri nets and algebraic specifications
• On liveness in Extended Non Self-Controlling Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item

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