Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models

Proceedings - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007

Volumn , Issue , 2007, Pages 59-68

  Sassoli, L ^a   Vicario, E ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DENSITY FUNCTIONS; DO-MAINS; EFFICIENT IMPLEMENTATIONS; MARKOVIAN MODELS; MARKOVIAN PROCESSES; QUANTITATIVE EVALUATIONS; STATE DENSITIES; STATE SPACES; TIME PETRI NETS; TIMING CONSTRAINTS;

FUNCTION EVALUATION; FUNCTIONS; GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; PROBABILITY DISTRIBUTIONS; TIMING CIRCUITS;

PROBABILITY DENSITY FUNCTION;

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

References (22)

1. M. M. Ajmone, G. Balbo, and G. Conte. A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Trans. on Comp. sys., 1984.
2. M. M. Ajmone and G. Chiola. On petri nets with deterministic and exponentially distributed firing times. LNCS, 266:132-145, 1987.
3. B. Berthomieu and M. Menasche. An enumerative approach for analyzing time Petri nets. In R. E. A. Mason, editor, Information Processing: proceedings of the IFIP congress 1983, volume 9, pages 41-46. Elsevier Science, 1983.
4. nd Int. Conf. on the Quant. Evaluation of Sys.(QEST), September 2005.
5. H. Choi, V. G. Kulkami, and K. Trivedi. Markov regenerative stochastic petri nets. Perf. Eval., 20:337-357, 1994.
6. G. Ciardo, R. German, and C. Lindemann. A characterization of the stochastic process underlying a stochastic petri net. IEEE Trans. Softw. Eng., 20(7):506-515, 1994.
7. G. Ciardo, J. Muppala, and K. S. Trivedi. SPNP: stochastic petri net package. IEEE Int. Workshop on Petri Nets and Performance Models - PNPM89, pages 142-151, 1989.
8. D. Dill. Timing assumptions and verification of finite-state concurrent systems. Proc. Workshop on Computer Aided Verification Methods for Finite State Systems, 1989.
9. rd Int. Workshop on Modeling, Analysis, and Simulation of Computer and Telecomm. Systems (MASCOTS '95), 1995.
10. th International Workshop on Petri Nets and Performance Models, pages 64-73, 1999.
11. G. Horton. A new paradigm for the numerical simulation of stochastic petri nets with general firing times. Prooceedings of the European Simulation Symposium, 2002.
12. M. K. Molloy. Discrete time stochastic petri nets. IEEE Trans. on Soft. Eng., 11(1), January 1985.
13. th Int. Conf on Application and Theory of Petri Nets, ICATPN2004, June 2004.
14. M. Rytin. Integration of piecewise functions with applications. Wolfram Information Centre, Mathsource, December 2004.
15. R. A. Sahner and K. S. Trivedi. Performance and reliability analysis using directed acyclic graphs. IEEE Trans.on Soft. Eng., 13(10), 1987.
16. L. Sassoli and E. Vicario. Using stochastic state classes in quantitative evaluation of dense-time reactive systems, submitted to IEEE Trans. on Soft.Eng.
17. L. Sassoli and E. Vicario. Close form derivation of state-density functions over dbm domains in the analysis of non-markovian models: Example of calculus. http://www.stlab.dsi.unifi.it/Qest07sTPNAppendix.pdf, 2007.
18. rd Int. Conf. on the Quant. Evaluation of Sys.(QEST), Sept., 2006.
19. M. Telek and A. Horvarth. Supplementary variable approach applied to the transient analysis of age-mrspns. In Proc. Int. Performance and Dependability Symp., pages 44-51, 1998.
20. E. Vicario. Static analysis and dynamic steering of time dependent systems using time petri nets. IEEE Trans. on Soft. Eng., August 2001.
21. Wolfram-Research. Mathemathica 5.2. www.wolfram.com.
22. A. Zimmermann, J. Freiheit, R. German, and G. Hommel. Petri net modelling and performability evaluation with timenet 3.0. 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'2000), pages 188-202, 2000.