Allocation Sequences of Two Processes Sharing a Resource

Bruno Gaujal, Melike Baykal-Gursoy, Gulgun Alpan

Research output: Contribution to journalArticlepeer-review

21 Scopus citations


We study a Petri net model of a system composed of two processes sharing a resource. Conflicts may occur over the usage of the shared resource, thus making the system nondeterministic. Therefore, in the context of minimax algebra, it cannot be formulated as a linear system in order to compute its performance measures. However, if the sequence by which the resource is allocated to the two processes is known, we can transform the system into a decision-free net. For this system with an imposed constraint on the resource allocation frequencies, we show that the optimal allocation sequence is the most regular integer sequence satisfying that constraint We also discuss the periodic behavior of this system under no constraints on the resource allocation frequencies.

Original languageEnglish (US)
Pages (from-to)748-753
Number of pages6
JournalIEEE Transactions on Robotics and Automation
Issue number5
StatePublished - Oct 1995

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Allocation Sequences of Two Processes Sharing a Resource'. Together they form a unique fingerprint.

Cite this