A resource allocation problem

  • Zbigniew Suraj
Part of the Lecture Notes in Computer Science book series (LNCS, volume 88)


This paper deals with the following problems; we have a set of cyclic, deterministic processes, which progress by taking and later releasing a number of various kinds of resources, the system being represented by a place/transition net. We are given a technique for putting additional constraints on the system which, given certain assumptions about the pattern of resource usage by the processes, causes the system to execute only those of its original behaviours which do not lead to deadlock. The technique involves the introduction of additional places which have the effect of regulating the progression of the processes in relation to each other. These places act like semaphores.


Linear System Resource Allocation Problem Maximal Transition Control Place Initial Marking 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Coffman E.G., Denning P.J., Operating systems theory, Prentice-Hall 1973.Google Scholar
  2. [2]
    Haberman A.N., Prevention of system deadlocks, Comm.ACM 12,7(1969),373–387.Google Scholar
  3. [3]
    Haberman A.N., Synchronization of communikating processes, Comm.ACM 15, 3(1972), 177–184.Google Scholar
  4. [4]
    Hack M., Analysis of production schemata by Petri nets, MAC TR-94, Project MAC, M.I.T. Cambridge, MA(1972).Google Scholar
  5. [5]
    Lautenbach K., Thiagarajan P.S., Analysis of resource allocation problem using Petri nets, 1st Europ.Confer. on Paral. and Distrib. Proc.,Toulouse, (1979).Google Scholar
  6. [6]
    Peterson J.L., Petri nets, ACM Computing Surveys 9,(1977), 223–252.Google Scholar
  7. [7]
    Skowron A., Teoria procesów współbieżnych, w przygotowaniu.Google Scholar
  8. [8]
    Skowron A., O efektywności w systemach iteracyjnych, PWN, Warszawa 1979.Google Scholar
  9. [9]
    Suraj Z., A resource allocation problem, ICS PAS REPORTS 404(1980).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Zbigniew Suraj
    • 1
  1. 1.Department of MathematicsPedagogical CollegeRzeszowPoland

Personalised recommendations