For the most recent entries see the Petri Nets Newsletter.

Performance Evaluation with asynchronously decomposable SWN: implementation and case study.

Delamare, Clément; Gardan, Yvon; Moreaux, Patrice

In: 10th International Workshop on Petri Nets and Performance Models (PNPM 2003), Urbana, Illinois, USA, pages 20-29. IEEE Press, September 2003.

Abstract: Modern systems involve more and more complex interactions leading to very large models. In the area of Stochastic Petri Nets, standard approaches are to use High Level Stochastic Petri Nets and/or some kind of compositionality to cope with this increasing complexity. In this paper we present an experimental implementation of the asynchronous decomposition method for Stochastic Well formed Nets (SWN), a class of Stochastic High level Petri nets. The method combines the Multi-valued Decision Diagram methods for structured Markov chains with the theoretical results for decomposable SWN. This implementation allows us to compute performance indices for very large and very symmetric systems. We apply our tool to the analysis of a complex Manufacturing System.


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

Back to the Petri Nets Bibliography