scientific article; zbMATH DE number 4045165

MaRDI QIDQ3782791zbMATH OpenFDO

Authors Kurt Lautenbach

Publication date 1987

zbMATH Keywords

deadlocksPetri netplace/transition netsS-invariantstraps

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Graph theory (including graph drawing) in computer science (68R10)

Cited in

(11)

• A polynomial-time algorithm to decide liveness of bounded free choice nets
• Comparison and evaluation of deadlock prevention methods for different size automated manufacturing systems
• Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors
• A survey of siphons in Petri nets
• On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
• An algorithm to compute the minimal siphons in \(S^4 PR\) nets
• Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
• Siphons, traps and high-level nets with infinite color domains
• Verification of siphons and traps for algebraic Petri nets
• Trapping mutual exclusion in the box calculus
• Structure theory of equal conflict systems

This page was built for publication:

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