Discrete time stochastic petri nets for modeling and evaluation of real-time systems
- 29 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 18 (15302075) , 1069-1074
- https://doi.org/10.1109/ipdps.2001.925065
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Petri Net Modelling and Performability Evaluation with TimeNET 3.0Published by Springer Nature ,2000
- A Systematic Approach to the Petri Net Based Specification of Concurrent SystemsReal-Time Systems, 1997
- Building distributed scalable dependable real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1997
- Numerical analysis of deterministic and stochastic Petri nets with concurrent deterministic transitionsPerformance Evaluation, 1996
- Compositional validation of time-critical systems using communicating time Petri netsIEEE Transactions on Software Engineering, 1995
- Tools for specifying real-time systemsReal-Time Systems, 1995
- A characterization of the stochastic process underlying a stochastic Petri netIEEE Transactions on Software Engineering, 1994
- Generalized stochastic Petri nets: a definition at the net level and its implicationsIEEE Transactions on Software Engineering, 1993
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973