Safe states in banker-like resource allocation problems

DOI10.1016/0890-5401(87)90002-2zbMath0626.68017OpenAlexW2071730202MaRDI QIDQ580968

Dirk Hauschildt, Ruediger Valk

Publication date: 1987

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(87)90002-2

zbMATH Keywords

time complexityPetri netminimal elementsMINoperating systemsSAFESORT

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (1)

The residue of vector sets with applications to decidability problems in Petri nets

Cites Work

• Unnamed Item
• Unnamed Item
• The residue of vector sets with applications to decidability problems in Petri nets
• Comments on prevention of system deadlocks

This page was built for publication: Safe states in banker-like resource allocation problems