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.