Modeling and Analysis of Timed Petri Nets using Heaps of Pieces - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Automatic Control Année : 1999

Modeling and Analysis of Timed Petri Nets using Heaps of Pieces

Résumé

We show that safe timed Petri nets can be represented by special automata over the (max,+) semiring, which compute the height of heaps of pieces. This extends to the timed case the classical representation by Mazurkiewicz of the behavior of safe Petri nets by trace monoids and trace languages. For a subclass including all safe Free Choice Petri nets, we obtain reduced heap realizations using structural properties of the net (covering by safe state machine components). We illustrate the heap-based modeling by the typical case of safe jobshops. For a periodic schedule, we obtain a heap-based throughput formula, which is simpler to compute than its traditional timed event graph version, particularly if one is interested in the successive evaluation of a large number of possible schedules.
Fichier non déposé

Dates et versions

hal-00165813 , version 1 (27-07-2007)

Identifiants

  • HAL Id : hal-00165813 , version 1

Citer

Stéphane Gaubert, Jean Mairesse. Modeling and Analysis of Timed Petri Nets using Heaps of Pieces. IEEE Transactions on Automatic Control, 1999, 44 (4), pp.683-697. ⟨hal-00165813⟩
200 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More