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
TypeArticle accepté pour publication ou publié
Journal nameIEEE Transactions on Computers
MetadataShow full item record
Abstract (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
Subjects / KeywordsMultiprocessor system; Model symmetry; Multiprocessor; Petri net; Markov chain; Performance evaluation; Computational complexity
Showing items related by title and author.