scientific article; zbMATH DE number 1332966

MaRDI QIDQ4260152zbMATH OpenFDO

Authors Abdellah El Moudni, M. Ferney, Chérif Amer-Yahia, Noureddine Zerhouni

Publication date 7 September 1999

zbMATH Keywords

deadlocksPetri net

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Detection of deadlocks and traps in Petri netsby means of Thelen's prime implicant method
• scientific article; zbMATH DE number 867675
• Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
• Petri-net-based deadlock analysis of process algebra programs
• Deadlock detection-oriented unfolding of unbounded Petri nets
• scientific article; zbMATH DE number 3905852
• Deadlock analysis and control using Petri net decomposition techniques
• Applications and Theory of Petri Nets 2005
• Petri nets, traces, and local model checking

Cited in

(10)

• First-order hybrid Petri nets. An application to distributed manufacturing systems
• Algebraic method of determining nonexistence of deadlock markings in Petri nets
• Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
• Analysis of structural properties of Petri nets based on product incidence matrix
• Detection of deadlocks and traps in Petri netsby means of Thelen's prime implicant method
• New algorithms for deciding the siphon-trap property
• scientific article; zbMATH DE number 3905852 (Why is no real title available?)
• scientific article; zbMATH DE number 3934416 (Why is no real title available?)
• scientific article; zbMATH DE number 3982527 (Why is no real title available?)
• scientific article; zbMATH DE number 867675 (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 Q4260152)