Stochastic Well-Formed Colored Nets and Symmetric Modelling Applications

Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge

dc.contributor.author	Chiola, Giovanni
dc.contributor.author	Dutheillet, Claude
dc.contributor.author	Franceschinis, Giuliana
dc.contributor.author	Haddad, Serge HAL ID: 745039
dc.date.accessioned	2010-01-14T10:21:08Z
dc.date.available	2010-01-14T10:21:08Z
dc.date.issued	1993
dc.identifier.uri	https://basepub.dauphine.fr/handle/123456789/2929
dc.language.iso	en	en
dc.subject	Multiprocessor system	en
dc.subject	Model symmetry	en
dc.subject	Multiprocessor	en
dc.subject	Petri net	en
dc.subject	Markov chain	en
dc.subject	Performance evaluation	en
dc.subject	Computational complexity	en
dc.subject.ddc	519	en
dc.title	Stochastic Well-Formed Colored Nets and Symmetric Modelling Applications	en
dc.type	Article accepté pour publication ou publié
dc.contributor.editoruniversityother	Univ. Torino, dip. informatica, Torino;Italie
dc.description.abstracten	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	en
dc.relation.isversionofjnlname	IEEE Transactions on Computers
dc.relation.isversionofjnlvol	42	en
dc.relation.isversionofjnlissue	11	en
dc.relation.isversionofjnldate	1993
dc.relation.isversionofjnlpages	1343-1360	en
dc.description.sponsorshipprivate	oui	en
dc.relation.isversionofjnlpublisher	Institute of Electrical and Electronics Engineers	en
dc.subject.ddclabel	Probabilités et mathématiques appliquées	en

Files in this item

Files	Size	Format	View
There are no files associated with this item.

This item appears in the following Collection(s)

LAMSADE : Publications

Show simple item record

Stochastic Well-Formed Colored Nets and Symmetric Modelling Applications

Files in this item

This item appears in the following Collection(s)

Related items