Abstract
We are dealing with the deadlock problem resulting from distributed resource allocation in real-time systems having no central control over the different processes of the application. These processes are distributed among several machines, and need a set of common distributed resources to cooperate or to run concurrently. The resources are allocated by several controllers after request from the process. Each controller is able to avoid deadlock locally; but the controllers are to be throught as new processes running concurrently and so may cause an allocation deadlock.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Sygare: Une structuration pour la conception d’applications en temps réel et réparties. Thèse d’Etat, Nancy, mai 1980.
Les réseaux de Pétri dans l’aide à la conception d’applications temps réel réparties. Congrès AFCET, Nancy, novembre 1980.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Schneider, R. (1980). Deadlock Prediction Using Petri Nets. In: Wilhelm, R. (eds) GI - 10. Jahrestagung. Informatik-Fachberichte, vol 33. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67838-7_79
Download citation
DOI: https://doi.org/10.1007/978-3-642-67838-7_79
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10388-2
Online ISBN: 978-3-642-67838-7
eBook Packages: Springer Book Archive