Thumbnail - Request a copy

Stochastic Well-Formed Colored Nets and Symmetric Modelling Applications

Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1993), Stochastic Well-Formed Colored Nets and Symmetric Modelling Applications, IEEE Transactions on Computers, 42, 11, p. 1343-1360

Type
Article accepté pour publication ou publié
Date
1993
Nom de la revue
IEEE Transactions on Computers
Volume
42
Numéro
11
Éditeur
Institute of Electrical and Electronics Engineers
Pages
1343-1360
Métadonnées
Afficher la notice complète
Auteur(s)
Chiola, Giovanni
Dutheillet, Claude
Franceschinis, Giuliana
Haddad, Serge
Résumé (EN)
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
Mots-clés
Multiprocessor system; Model symmetry; Multiprocessor; Petri net; Markov chain; Performance evaluation; Computational complexity