Discrete time stochastic petri nets for modeling and evaluation of real-time systems

Proceedings - 15th International Parallel and Distributed Processing Symposium, IPDPS 2001

Volumn , Issue , 2001, Pages 1069-1074

  Zimmermann, A ^a   Freiheit, J ^a   Hommel, G ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; INTERACTIVE COMPUTER SYSTEMS; PETRI NETS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

APPLICATION EXAMPLES; DISCRETE TIME; MODEL AND ANALYSIS; PETRI NET MODELS; RANDOMLY DISTRIBUTED; REALISTIC MODEL; STOCHASTIC PETRI NETS;

REAL TIME SYSTEMS;

EID: 84981276133     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2001.925065     Document Type: Conference Paper

References (18)

1. M. Ajmone Marsan and G. Chiola. On petri nets with deterministic and exponentially distributed firing times. In G. Rozenberg, editor, Advances in Petri Nets 1987, volume 266 of Lecture Notes in Computer Science, pages 132-145. Springer Verlag, 1987.
2. G. Bucci, M. Campanai, and P. Nesi. Tools for specifying real-time systems. Real-Time Systems, 8:117-172, 1995.
3. G. Bucci and E. Vicario. Compositional validation of time-critical systems using communicating time petri nets. IEEE Transactions on Software Engineering, 21(12):969-992, 1995.
4. G. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte. Generalized stochastic petri nets: A definition at the net level and its implications. IEEE Transactions on Software Engineering, 19(2):89-107, 1993.
5. G. Ciardo, R. German, and C. Lindemann. A characterization of the stochastic process underlying a stochastic petri net. IEEE Transactions on Software Engineering, 20:506-515, 1994.
6. R. German. Analysis of Stochastic Petri Nets with Non-Exponentially Distributed Firing Times. Dissertation, Technische Universität Berlin, 1994.
7. R. German. Cascaded deterministic and stochastic petri nets. In Proc. 3rd Int. Meeting on the Numerical Solution of Markov Chains, pages 111-130, Zaragoza, Sept. 1999.
8. R. German. Performance Analysis of Communication Systems, Modeling with Non-Markovian Stochastic Petri Nets. John Wiley and Sons, 2000.
9. C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezze. A unified high-level petri net formalism for time-critical systems. IEEE Transactions on Software Engineering, 17(2):160-172, Feb. 1991.
10. W. Halang, R. Gumzej, M. Colnaric, and M. Druzovez. Measuring the performance of real-time systems. Int. Journal of Time-Critical Computing Systems, 18:59-68, 2000.
11. C. Lindemann and G. Shedler. Numerical analysis of deterministic and stochastic petri nets with concurrent deterministic transitions. Performance Evaluation, Special Issue Proc. of PERFORMANCE '96, pages 565-582, 1996.
12. C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, 20(1):46-61, 1973.
13. A. Mazzeo, N. Mazzocca, S. Russo, and V. Vittorini. A systematic approach to the petri net based specification of concurrent systems. Real-Time Systems, 13:219-236, 1997.
14. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, 1989.
15. B. Ravindran, L. Welch, and C. Kelling. Building distributed, scalable, dependable real-time systems. In Proceedings of the 10th IEEE Int. Conf. on Engineering of Computer Based Systems, pages 452-459, Mar. 1997.
16. R. Zijal. Analysis of Discrete Time Deterministic and Stochastic Petri Nets. Dissertation, Technische Universität Berlin, Oct. 1997.
17. R. Zijal, G. Ciardo, and G. Hommel. Discrete deterministic and stochastic petri nets. In 9. ITG/GI-Fachtagung: Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen (MMB'97), pages 103-117, Freiberg, Germany, 1997. VDE-Verlag.
18. A. Zimmermann, J. Freiheit, R. German, and G. Hommel. Petri net modelling and performability evaluation with TimeNET 3.0. In 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, pages 188-202, Schaumburg, Illinois, USA, 2000. LNCS 1786.