scientific article; zbMATH DE number 867675

MaRDI QIDQ4873787zbMATH OpenFDO

Authors K. S. Bagga, Frank W. Owens

Publication date 21 April 1996

zbMATH Keywords

deadlockslivenessPetri netstraps

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3934416
• scientific article; zbMATH DE number 1332966
• Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
• Detection of deadlocks and traps in Petri netsby means of Thelen's prime implicant method
• scientific article; zbMATH DE number 3905852

Cited in

(4)

• Detection of deadlocks and traps in Petri netsby means of Thelen's prime implicant method
• scientific article; zbMATH DE number 3862446 (Why is no real title available?)
• scientific article; zbMATH DE number 3934416 (Why is no real title available?)
• scientific article; zbMATH DE number 1332966 (Why is no real title available?)

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 Q4873787)