Performance evaluation with asynchronously decomposable SWN: Implementation and case study

10th International Workshop on Petri Nets and Performance Models, PNPM 2003

Volumn , Issue , 2003, Pages 20-29

  Delamare, Clément ^a   Gardan, Yvon ^a   Moreaux, Patrice ^b  

^a UNIVERSITÉ DE REIMS CHAMPAGNE ARDENNE   (France)

^b UNIVERSITÉ PARIS DAUPHINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MANUFACTURE; MARKOV PROCESSES; PETRI NETS; STOCHASTIC SYSTEMS;

CASE-STUDIES; COMPOSITIONALITY; DECOMPOSITION METHODS; DIAGRAM METHOD; LARGE MODELS; MULTI-VALUED DECISION DIAGRAMS; PERFORMANCES EVALUATION; STOCHASTIC HIGH LEVEL PETRI NET; STOCHASTIC PETRI NETS; STOCHASTIC WELL-FORMED NETS;

MANY VALUED LOGICS;

EID: 2942547914     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.2003.1231539     Document Type: Conference Paper

References (12)

1. GreatSPN home page: http://www.di.unito.it/~greatspn.
2. P. Ballarini, S. Donatelli, and G. Franceschinis. Parametric stochastic well-formed nets and compositional modelling. In Proc. of the 21th International Conference on Application and Theory of Petri Nets, number 1825 in LNCS, pages 43-62. Springer-Verlag, June 25-29 2000.
3. P. Buchholz. Hierarchical structuring of superposed GSPNs. In Proc. of the 7th International Workshop on Petri Nets and Performance Models, pages 81-90, Saint-Malo, France, June 3-6 1997. IEEE Computer Society Press.
4. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed colored nets and symmetric modeling applications. IEEE Transactions on Computers, 42(11):1343-1360, Nov. 1993.
5. G. Ciardo, R. L. Jones, A. S. Miner, and R. Siminiceanu. SMART: Stochastic model analyzer for reliability and timing. In P. Kemper, editor, In Tools of Aachen 2001 International Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems, pages 29-34, Aachen, Germany, Sept. 12-14 2001.
6. G. Ciardo, G. Luettgen, and R. Siminiceanu. Saturation: an efficient iteration strategy for symbolic state space generation. In Proc. of Tools and Algorithms for Construction and Analysis of Systems (TACAS 2001), number 2031 in LNCS, pages 328-342, Genova, Italy, Apr. 2001. Springer-Verlag.
7. G. Ciardo and A. Miner. A data structure for the efficient Kronecker solution of GSPNs. In Proc. of the 8th Int. Workshop on Petri nets and performance models (PNPM99), pages 22-31, Zaragoza, Spain, Sept. 8-10 1999. IEEE Comp. Soc. Press.
8. S. Donatelli, S. Haddad, and P. Moreaux. Structured characterization of the Markov chains of phase-type SPN. In Proc. of the 10th International Conference on Computer Performance Evaluation. Modelling Techniques and Tools (TOOLS'98), number 1469 in LNCS, pages 243-254, Palma de Mallorca, Spain, Sept. 14-18 1998. Springer-Verlag.
9. S. Haddad and P. Moreaux. Evaluation of high level Petri nets by means of aggregation and decomposition. In Proc. of the 6th International Workshop on Petri Nets and Performance Models, pages 11-20, Durham, NC, USA, Oct. 3-6 1995. IEEE Computer Society Press.
10. S. Haddad and P. Moreaux. Asynchronous composition of high level Petri nets: a quantitative approach. In Proc. of the 17th International Conference on Application and Theory of Petri Nets, number 1091 in LNCS, pages 193-211, Osaka, Japan, June 24-28 1996. Springer-Verlag.
11. S. Haddad and P. Moreaux. Aggregation and decomposition for performance evaluation of asynchronous product of high level Petri nets. Document du Lamsade 102, LAMSADE, Université Paris Dauphine, Paris, France, May 1997.
12. P. Kemper. Numerical analysis of superposed GSPNs. In Proc. of the 6th International Workshop on Petri Nets and Performance Models, pages 52-61, Durham, NC, USA, Oct. 3-6 1995. IEEE Computer Society Press.