In: PNPM89. Proceedings of the Third International Workshop On Petri Nets and Performance Models, 1989, Kyoto, Japan, pages 40-49. Los Alamitos, CA, USA: IEEE Computer Society Press, 1990.
Abstract: The authors present a lumping method based on a particular class of colored Petri nets. The originality of the method is that the states are aggregated a priori, thus avoiding the construction of the whole reachability graph. The authors constuct only a graph of symbolic markings, whose states are classes of markings, and from which the solution can be directly computed. The authors show on an example that the method can be usefully applied to the performance evaluation of symmetric systems.
Keywords: aggregation (of states); coloured stochastic net; multiprocessor architecture; symbolic marking; performance evaluation.