Abstract
Purchase PDF (394 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (1)
Purchase PDF (1151 K)
doi:10.1016/0020-0255(90)90027-8 
Copyright © 1990 Published by Elsevier Science Inc.
High-level Petri-net model for a resource-sharing problem
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Ajoy K. Datta*
Sukumar Ghosh
Received 31 July 1987;
revised 8 March 1988.
Available online 20 May 2003.
Abstract
This paper deals with the modeling and analysis of a typical resource-sharing problem using a high-level Petri net. This model is at a level higher than any of the existing related class of Petri nets. With the introduction of structured places and generalized functional expressions as arc labels, our net is expected to be useful in modeling real-life problems in operating systems. Our analysis leads to a new solution of the classical banker's algorithm.
Article Outline
* This research was supported in part by the Army Research Office under grant DAAL 03-87-G-0004.
