Ecole Nationale Superieure des Telecommunications, Paris, Report No. ENST-87C004, 1987.
Abstract: The specification, verification, validation, and evaluation, which make up the different steps of the CS-PN software are outlined. The colored stochastic Petri net software is applied to a Wound/Wait protocol decomposable into two principal modules: request treatment module and wound treatment module. The colored stochastic Petri nets tool is shown to be a natural extension of the stochastic tool, adapted to distributed systems and protocols.