On phased delay stochastic Petri nets: Definition and an application

Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

Volumn , Issue , 2001, Pages 165-174

  Jones, Rob ^a   Ciardo, Gianfranco ^b  

^a ASRC Aerospace Corporation   (United States)

^b The College of William and Mary   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CHAINS; COMPUTATION THEORY; CONTINUOUS TIME SYSTEMS; ECONOMIC AND SOCIAL EFFECTS; EFFICIENCY; MARKOV PROCESSES; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

CONTINOUS TIME; CONTINUOUS PHASE; DISCRETE PHASE; DISCRETE TIME; MIXED MODELING; MODELING FIDELITY; NON-MARKOVIAN BEHAVIOR; SIMPLE++; STOCHASTIC PETRI NETS; TIME TRANSITION;

PETRI NETS;

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

References (18)

1. M. A. Marsan and G. Chiola. OnPetri nets with deterministic and exponentially distributed fring time, volume 266, pages 132-145. Springer-Verlag,1987.
2. R. L. Jones. Analysis of Phase-Spe Stochastic Petri Nets with Discrete and Continuous Timing. Technical Report CR-2000-210296, NASA Langley Research Center, Hampton, VA, June 2000.
3. A. S. Miner and G. Ciardo. Efficient reachability set generation and storage using decision diagrams. In H. Kleijn and S. Donatelli, editors, Application and Theory of Petri Nets 1999, Lecture Notes in Computer Science 1639, Proc. 20th Int. Cony? on Applications and Theory of Petri Nets, Williamsburg, VA, USA, pages 6-25. Springer-Verlag,June 1999.
4. P. Buchholz, G. Ciardo, S. Donatelli, and P. Kemper. Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models. INFORMS J. Comp., 12(3):203-222, Summer 2000.
5. G. Ciardo and A. S. Miner. A data structure for the efficient Kronecker solution of GSPNs. In P. Buchholz, editor, Proc. 8th Int. Workshop on Petri Nets and Performance Models (PNPM’99), pages 22-31, Zaragoza, Spain, Sept. 1999. IEEE Comp. Soc. Press.
6. M. Scarpa and A. Bobbio. Kronecker Representation of Stochastic Petri Nets with Discrete PH Distributions. In Proceedings of the International Computer Performance and Dependability Symposium, pages 52-61, Durham, NC, 1998.
7. M. K. Molloy. Discrete time stochastic Petri nets. IEEE Transactions on Software Engineering, SE-11(4):417-423, April 1985.
8. M. A. Marsan, G. Balbo, and G. Conte. A Class of Generalized Petri Nets for the Performance Evaluation of Multiprocessor Systems. ACM Transactions on Computer Systems, 2(2):93-122, May 1989.
9. A. Bobbio and A. Cumani. Discrete state stochastic systems with phase type distributed transition times. In Proc. ASME Int. Conf. Modelling and Simulation, pages 173-192, Athens, Greece, 1984.
10. M. A. Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani. The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Transactions on Software Engineering, 152332445, 1989.
11. G. Ciardo. Discrete-time Markovian stochastic Petri nets. In W. J. Stewart,editor, Compurations with Markov Chains, pages 339-358. Kluwer, Boston, MA, 1995.
12. E. Cinlar. Introduction to Stochastic Processes. Prentice-Hall, Englewood Cliffs,NJ, 1975.
13. R. German. New results for the analysis of deterministic and stochastic Petri nets. In Proceedings of the IEEE International Performance and Dependability S.ymposium,pages 114-123, Erlangen, Germany, 1995.
14. D. Logothetis, K. S. Trivedi, and A. Puliafito. Markov regenerative models. In IEEE Int. Computer Parallel Distributed Systems, pages 134-142, Erlangen, Germany, April 24-26 1995.
15. A. Jensen. Markoff Chains as an Aid in the Study of Markoff Processes. Skand. Aktuarietidskrr, 36:87-91, 1953.
16. G. Ciardo and C. Lindemann. Analysis of deterministic and stochastic Petri nets. In Proc. 5th Int. Workshop on Petri Nets and Performance Models (PNPM’93),pages 160-169, Toulouse, France, Oct. 1993. IEEE Comp. Soc. Press.
17. G. Ciardo, A. Blakemore, P. F. J. Chimento, J. K. Muppala, and K. S. Trivedi. Automated generation and analysis of Markov reward models using Stochastic Reward Nets. In C. Meyer and R. J. Plemmons, editors, Linear Algebra, Markov Chains, and Queueing Models, volume 48 of IMA Volumes in Mathematics and its Applications, pages 145-191. Springer-Verlag,1993.
18. R. German. Cascaded Deterministic and Stochastic Petri Nets. In Proc. 3rd Int. Meeting on the Numerical Solution of Markov Chains, pages 111-130, Zaragoza, Spain, Sept. 1999.