ENS des Telecommunications, Report No. ENST--87D003, June 1987.
Abstract: Colored stochastic Petri nets are used to evaluate the performance of distributed systems. Algorithms inspired by classical methods are employed. The CS-PN computer program was used to develop the algorithms. The program allows the validation and evaluation of the performance of the models by means of Petri nets.