Probe automata for passage time specification

Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis

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

Abstract

Passage time distribution has drawn increasing attention over the past years as an important measure to define and verify service level agreements. The definition of passage time requires the specification of a condition to start/stop the computation, and possibly of a restriction on the system behavior to be considered between start and stop. Different characterizations have been defined in the past, either state-based, action-based or a mix of the two, either for Markov chains, or for stochastic Petri nets and process algebras. In this paper we propose probe automata as a way to specify passage time for GSPNs that allows one to select entering, goal, and forbidden states, as well as paths of interest starting from any reachable state. The specification is in terms of conditions over the current marking, the transition (sequence) being fired, as well as over the marking reached through the firing. Probe automata subsume previous definitions of passage time for GSPNs and for Tagged GSPNs, the extension of GSPNs that was defined in the past for computing passage time of a tagged token in a GSPN.

Lingua originaleInglese
Titolo della pubblicazione ospiteProceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011
Pagine101-110
Numero di pagine10
DOI
Stato di pubblicazionePubblicato - 2011
Evento2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011 - Aachen, Germany
Durata: 5 set 20118 set 2011

Serie di pubblicazioni

NomeProceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011

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

???event.eventtypes.event.conference???2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011
Paese/TerritorioGermany
CittàAachen
Periodo5/09/118/09/11

Fingerprint

Entra nei temi di ricerca di 'Probe automata for passage time specification'. Insieme formano una fingerprint unica.

Cita questo