Title :
Performance analysis of timed Petri nets
Author :
Gaujal, Bruno ; Jafari, Mohsen A. ; Gursoy, Melike B.
Author_Institution :
Inst. Nat. de Recherche en Inf. et Autom., Valbonne, France
Abstract :
We study a system composed of two processes sharing a resource. The system can be modeled as a general Petri net and thus its performance analysis cannot be achieved using a minimax algebra. However, if the allocation sequence is known, we can transform the system into a decision free net. We show that in many cases this allocation sequence is the most regular integer sequence satisfying the frequency of allocation
Keywords :
Petri nets; allocation frequency; allocation sequence; decision-free net; minimax algebra; performance analysis; regular integer sequence; timed Petri nets; Algebra; Difference equations; Industrial engineering; Job shop scheduling; Minimax techniques; Performance analysis; Petri nets; Radio spectrum management; Resource management; Time measurement;
Conference_Titel :
Systems, Man and Cybernetics, 1993. 'Systems Engineering in the Service of Humans', Conference Proceedings., International Conference on
Conference_Location :
Le Touquet
Print_ISBN :
0-7803-0911-1
DOI :
10.1109/ICSMC.1993.390730
