Stochastic Well-Formed coloured nets and multiprocessor modelling applications

CHIOLA G., DUTHEILLET C., Giuliana Annamaria FRANCESCHINIS, HADDAD S.

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo in volume (Capitolo o Saggio)peer review

Abstract

The new class of Stochastic Well-formed coloured Nets (SWN) is defined as a syntactic restriction of Stochastic High-Level Nets. The interest of the introduction of restrictions in the model definition is the possibility of exploiting the Symbolic Reachability Graph (SRG) to reduce the complexity of Markovian performance evaluation with respect to classical Petri net techniques. It turns out that SWNs allow the representation of any colour function in a structured form, so that any unconstraint high-level net can be transformed into a well formed net. Moreover, most constructs useful for the modelling of distributed computer systems and architectures directly match the “well form” restriction, without any need of transformation. A non trivial example of the usefulness of the technique in the performance modelling and evaluation of multiprocessor architectures is included.
Lingua originaleInglese
Titolo della pubblicazione ospiteHigh-level Petri Nets
EditoreSPRINGER
Pagine504-530
Numero di pagine27
ISBN (stampa)9783540541257
DOI
Stato di pubblicazionePubblicato - 1 gen 1991

Fingerprint

Entra nei temi di ricerca di 'Stochastic Well-Formed coloured nets and multiprocessor modelling applications'. Insieme formano una fingerprint unica.

Cita questo