*For the most recent entries see the
Petri Nets Newsletter.*

## Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications.

Chiola, G.;
Dutheillet, C.;
Franceschinis, G.;
Haddad, S.
*Rapport MASI No. 90--41*, pages 1-18 pp..
Universite Paris, Institut Blaise Pascal,
1990.

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 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. A non-trivial example of the
usefulness of the technique in the performance modelling and evaluation of
multiprocessor architectures is included.

Keywords:
stochastic well-formed coloured net; multiprocessor modelling; restricted
stochastic high-level net; symbolic reachability graph; Markovian
performance evaluation; performance modelling (of) multiprocessor
architecture.

*Do you need a refined search? Try our search engine
which allows complex field-based queries.*
*Back to the Petri Nets Bibliography*