In: Revue Generale de l'Electricite, Vol. 2, pages 31-34. 1991. In French.
Abstract: Communication architectures are complex systems requiring verification, before implementation, in order to detect design errors. In this context, using formal description technique is an essential aspect of the design phase. The author uses stochastic timed Petri nets as formal model for real time communications. It allows qualitative analysis (logical properties) and quantitative analysis (performances). An example is given.
Keywords: analysis (of) real-time communication architecture(s); stochastic timed net; performance analysis.