scientific article; zbMATH DE number 3990882

MaRDI QIDQ3753498zbMATH OpenFDO

Authors Dirk Hauschildt, Ruediger Valk

Publication date 1986

zbMATH Keywords

Banker's problemPetri net modelresource sharingsafe states set

Mathematics Subject Classification ID

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

Recommendations

• Safe states in banker-like resource allocation problems
• The Banker's problem with precedences
• scientific article; zbMATH DE number 3874587
• scientific article; zbMATH DE number 4045096
• The residue of vector sets with applications to decidability problems in Petri nets

Cited in

(1)

• Safe states in banker-like resource allocation problems

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