In: Information Sciences, Vol. 23, pages 213-220. 1990.
Abstract: The 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, the net is expected to be useful in modeling real-life problems in operating systems. The analysis leads to a new solution of the classical banker's algorithm.
Keywords: high-level net; resource sharing; banker's algorithm.