For the most recent entries see the Petri Nets Newsletter.

Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture.

Dutheillet, C.; Haddad, S.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography