Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications

Giovanni Chiola, Giuliana Franceschinis

Risultato della ricerca: Contributo su rivistaArticolo in rivistapeer review

Abstract

The class of stochastic well-formed colored nets (SWN’s) was 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 SWN’s allow the representation of any color function in a structured form, so that any unconstrained high-level net can be transformed into a well-formed net. Moreover, most constructs useful for the modeling of distributed computer systems and architectures directly match the “well-formed” restriction, without any need of transformation. A nontrivial example of the usefulness of the technique in the performance modeling and evaluation of multiprocessor architectures is included.

Lingua originaleInglese
pagine (da-a)1343-1360
Numero di pagine18
RivistaIEEE Transactions on Computers
Volume42
Numero di pubblicazione11
DOI
Stato di pubblicazionePubblicato - nov 1993
Pubblicato esternamente

Fingerprint

Entra nei temi di ricerca di 'Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications'. Insieme formano una fingerprint unica.

Cita questo