For the most recent entries see the Petri Nets Newsletter.

High-Level Petri-Net Model for a Resource-Sharing Problem.

Datta, Aloy K.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography