In: 5th International Workshop on Petri Nets and Performance Models, Toulouse (F) 19.-22. October 1993, pages 24-33. 1993.
Abstract: The goal of this paper is to define a model able to deal with the main characteristics of the Real Time distributed systems (complex systems with a big number of components; systems with a lot of different time characteristics and in particluar time constraints). The ``Stochastic Timed Well Formed Coloured Nets'' (STWN model) are based on two underlying models: the Well Formed Coloured Nets (WN) which provide both a concise and a structured representation and are well adapted for representing big systems composed of sets of components with a common behaviour; The Stochastic Timed Petri Nets (STPN model) which have the ability to deal with combinations of arbitrary distribution (exponential, deterministic, uniform and mixed) and are well adapted for representing systems with time constraints (time critical systems). The analysis of the dynamic behaviour of an STWN model is based on an object called ``Randomized Symbolic State Graph'' which is an aggregated semi-Markov process which allows a lot of performance evaluations. Simple and illustrative examples showing the advantage of STWN model are presented.