Aggregated stochastic state classes in quantitative evaluation of non-Markovian stochastic Petri Nets

QEST - 6th International Conference on the Quantitative Evaluation of Systems

Volumn , Issue , 2009, Pages 155-164

  Horváth, András ^a   Vicario, Enrico ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Non Markovian stochastic Petri Nets; Steady state analysis; Stochastic state classes; Stochastic time Petri Nets

Indexed keywords

CONTINUOUS TIME MARKOV CHAIN; MATRIX; NEW APPROACHES; NON-MARKOVIAN; QUANTITATIVE EVALUATION; STEADY-STATE ANALYSIS; STOCHASTIC PETRI NETS; TIME PETRI NETS;

GRAPH THEORY; MARKOV PROCESSES; PETRI NETS; STOCHASTIC SYSTEMS;

STOCHASTIC MODELS;

EID: 74049118063     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2009.33     Document Type: Conference Paper

References (20)

1. R. German and C. Lindemann, "Analysis of Stochastic Petri Nets by the method of supplementary variables," in Performance Evaluation, vol. 20, 1994, pp. 317-335.
2. G. Ciardo, R. German, and C. Lindemann, "A characterization of the stochastic process underlying a Stochastic Petri Net," IEEE Trans. Softw. Eng., vol. 20, no. 7, pp. 506-515, 1994.
3. H. Choi, V. G. Kulkarni, and K. Trivedi, "Markov Regenerative Stochastic Petri Nets," Perf. Eval., vol. 20, pp. 337-357, 1994.
4. C. Lindemann and G.S.Schedler, "Numerical analysis of Deterministic and Stochastic Petri Nets with concurrent deterministic transitions," Performance Evaluation, vol. 27-28, pp. 565-582, 1996.
5. C. Lindemann and A. Thuemmler, "Transient analysis of Deterministic and Stochastic Petri Nets with concurrent deterministic transitions," Performance Evaluation, vol. 36-37, pp. 35-54, 1999.
6. M. Telek and A. Horvarth, "Supplementary variable approach applied to the transient analysis of age-MRSPNs," in Proc. Int. Performance and Dependability Symp., 1998, pp. 44-51.
7. L. Carnevali, L. Sassoli, and E. Vicario, "Using stochastic state classes in quantitative evaluation of dense-time reactive systems," accepted for publication in the IEEE Trans. on Soft. Eng., 2009.
8. nd Int. Conf. on the Quant. Evaluation of Sys. (QEST), September 2005.
9. st Int. Conf. on the Quant. Evaluation of Sys. (QEST), Sept., 2007.
10. E. Vicario, "Static analysis and dynamic steering of time dependent systems using Time Petri Nets," IEEE Trans. on Soft. Eng., August 2001.
11. B. Berthomieu and M. Diaz, "Modeling and verification of time dependent systems using Time Petri Nets," IEEE Trans. on Soft. Eng., vol. 17, no. 3, March 1991.
12. D. Dill, "Timing assumptions and verification of finite-state concurrent systems," Proc.Workshop on Computer Aided Verification Methods for Finite State Systems, 1989.
13. J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi, UPPAAL: a tool-suite for automatic verification of real-time systems. Hybrid Systems III: LNCS, 1066, 1996.
14. st Int. Conf. on the Quant. Evaluation of Sys. (QEST), 2004.
15. B. Berthomieu, P.-O. Ribet, and F. Vernadat, "The tool TINA - construction of abstract state spaces for Petri Nets and Time Petri Nets," International Journal of Production Research, vol. 42, no. 14, 2004.
16. G. Gardey, D. Lime, M. Magnin, and O. Roux, "Roméo: a tool for analyzing Time Petri Nets," In 17th International Conference on Computer Aided Verification (CAV05), Lecture Notes in Computer Science, 2005.
17. L. Carnevali, L. Grassi, and E. Vicario, "State-density functions over DBM domains in the analysis of non-Markovian models," IEEE Trans. on Soft. Eng., vol. 35, pp. 178 - 194, March-April 2009.
18. P.Merlin and D.J.Farber, "Recoverability of communication protocols," IEEE Trans.on Communications, vol. 24, no. 9, 1976.
19. A. Cumani, "Esp - a package for the evaluation of stochastic Petri nets with phase-type distributed transitions times," in Proc. Int. Workshop on Timed Petri Nets, Torino, Italy, July 1985.
20. W. J. Stewart, Introduction to the Numerical Solution of Markov Chains. Princeton University Press, 1995.