Operational analysis of timed Petri nets and application to the computation of performance bounds

G. Chiola, C. Anglano, J. Campos, J. M. Colom, M. Silva

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

Operational analysis techniques are used to partially characterize the behavior of timed Petri nets under very weak assumptions on their timing semantics. New operational inequalities are derived that are typical of the presence of synchronization and that were therefore not considered in queuing network models. An interesting application of the operational laws to the statement and the efficient solution of problems related to the estimation of performance bounds insensitive to the timing probability distributions is shown. The results obtained generalize and improve in a clear setting results that were derived in the last few years for several different subclasses of timed Petri nets. In particular, the extension to well-formed colored nets appears straightforward and allows an efficient exploitation of model symmetries.

Lingua originaleInglese
Titolo della pubblicazione ospiteProceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993
EditoreInstitute of Electrical and Electronics Engineers Inc.
Pagine128-137
Numero di pagine10
ISBN (elettronico)0818642505, 9780818642500
DOI
Stato di pubblicazionePubblicato - 1993
Pubblicato esternamente
Evento5th International Workshop on Petri Nets and Performance Models, PNPM 1993 - Toulouse, France
Durata: 19 ott 199322 ott 1993

Serie di pubblicazioni

NomeProceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???5th International Workshop on Petri Nets and Performance Models, PNPM 1993
Paese/TerritorioFrance
CittàToulouse
Periodo19/10/9322/10/93

Fingerprint

Entra nei temi di ricerca di 'Operational analysis of timed Petri nets and application to the computation of performance bounds'. Insieme formano una fingerprint unica.

Cita questo