scientific article; zbMATH DE number 561087

MaRDI QIDQ4289353zbMATH OpenFDO

Authors Ndombe Cacutalua

Publication date 3 May 1994

zbMATH Keywords

concurrent theorydeadlockPetri nets

Mathematics Subject Classification ID

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

Cited in

(6)

• Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
• Deadlock prevention policy based on Petri nets and siphons
• A new deadlock prevention method for a Petri net modeling the functionality of a hospital
• Object oriented software architecture design based on UML/Petri net approach for deadlock prevention of real time systems
• scientific article; zbMATH DE number 3978396 (Why is no real title available?)
• scientific article; zbMATH DE number 1156813 (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 Q4289353)