Stochastic Petri Nets

Markovian Nets - Books

In the second edition of the blue book, a new section (8.7) is introduced dealing with Markovian stochastic Petri nets. These nets are used in the examples: In the red book, there is chapter 4, dealing with stochastic Petri nets, which are then used in the chapters 9,10,11 and 12.


Markovian Nets - Articles Published in Journals

Stochastic Petri Net Models of Polling Systems, O. Ibe and K. S. Trivedi, IEEE Journal on Selected Areas in Communications, Vol. 8, No. 9, pp. 1649-1657, Dec. 1990.

On the Solution of GSPN Reward Models, G. Ciardo, J. Muppala, and K. S. Trivedi, Performance Evaluation, Vol. 12, No. 4, pp. 237-254, July 1991.

Stochastic Petri Net Analysis of Finite-Population Vacation Queueing Systems, O. Ibe and K. S. Trivedi, Queueing Systems: Theory and Applications, Vol. 8, No. 2, pp. 111-128, 1991.

Analyzing Concurrent and Fault-Tolerant Software using Stochastic Reward Nets, G. Ciardo, J. Muppala, and K. S. Trivedi, Journal of Parallel and Distributed Computing, Vol. 15, pp. 255-269, 1992.

A Decomposition Approach for Stochastic Reward Net Models, Gianfranco Ciardo and K. S. Trivedi, Performance Evaluation, Vol. 18, No. 1, pp. 37-59, July 1993.

Specification and Generation of Markov Reward Models, Boudewijn R. Haverkort and K. S. Trivedi, Discrete-Event Dynamic Systems: Theory and Applications, Vol. 3, (1993), pp. 219-247.

Performance Evaluation of Client-Server Systems, Oliver C. Ibe, Hoon Choi, and K. S. Trivedi, IEEE Transactions on Parallel and Distributed Systems, Vol. 4, No. 11, November 1993, pp. 1217-1229.

Modeling Correlation in Software Recovery Blocks [ part 1 | part 2 ], L. Tomek, J. Muppala, and K. S. Trivedi, IEEE Transactions on Software Engineering (special issue on Software Reliability), Vol. 19, No.11, November 1993, pp. 1071-1086.

Numerical Computation of Response Time Distributions Using Stochastic Reward Nets, Jogesh Muppala, K. S. Trivedi, Varsha Mainkar and Vidyadhar Kulkarni, Annals of Operations Research, Vol 48, pp. 155-184, 1994.

Reliability Modeling of Life-Critical Real-Time Systems [ part 1 | part 2 ], Lorrie Tomek, Varsha Mainkar, Robert Geist, and K. S. Trivedi, Proceedings of the IEEE, Vol. 82, No. 1, pp. 108-121, January 1994.

Stochastic Reward Nets for Reliability Prediction, Jogesh Muppala, Gianfranco Ciardo, and K. S. Trivedi, Communications in Reliability, Maintainability and Serviceability: An International Journal published by SAE International, Vol. 1, No. 2, pp. 9-20, July 1994.

Dependability Modeling Using Petri-Net Based Models, M. Malhotra and K. S. Trivedi, IEEE Transactions on Reliability, Vol. 44, No. 3, pp. 428-440, Sept., 1995.

Dependability Modeling of Real-Time Systems Using Stochastic Reward Nets, with Cristian Constantinescu, Microelectronics and Reliability, Vol. 35, No. 6, 1995, pp. 903-914.

Stochastic Petri Nets for the Reliability Analysis of Communication Network Applications with Alternate-Routing, M. Balakrishnan and K. S. Trivedi, Reliability Engineering and System Safety, special issue on Reliability and Safety Analysis of Dynamic Process Systems, Vol. 52, No. 3, pp. 243-259, 1996.

Buffer Losses vs. Deadline Violations for ABR Traffic in an ATM Switch: A Computational Approach, Meera Balakrishnan, Antonio Puliafito, K. S. Trivedi, and Ioannis Viniotis, The Journal of Telecommunication Systems, Modeling, Analysis, Design, and Management, Vol. 7, No. 1-3, 1997.

Sufficient Conditions for the Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models, V. Mainkar and K. S. Trivedi, IEEE Trans. on Soft. Eng., Vol. 22, No. 9, Sept. 1996, pp. 640-653.

Recent Developments in Non-Markovian Stochastic Petri Nets, A. Bobbio, A. Puliafito, M. Telek, and K. S. Trivedi, Journal of Circuits, Systems, and Computers, Vol. 8, No. 1, Feb. 1998, pp. 119-158.

A Stochastic Reward Net Model for Performance Analysis of Prioritized DQDB MAN, Hairong Sun, Xinyu Zang, and K. S. Trivedi, Computer Communications, Elsevier Science, Vol.22, No.9, pp.858-870, June, 1999

Markovian Nets - Chapters of Books

The Solution of Large Stochastic Petri Net Models, G. Ciardo and K. S. Trivedi, in: Numerical Solution of Markov Chains, (invited) W. J. Stewart (ed.), pp. 565-595, Marcel Dekker, New York, 1991.

Dependability Modeling of a Heterogeneous VAXcluster System Using Stochastic Reward Nets, J. Muppala, A. Sathaye, Rick Howe, and K. S. Trivedi, in: Hardware and Software Fault Tolerance in Parallel Computing Systems, D. Avresky (ed.), pp. 33-59, Ellis Horwood Ltd., 1992.

Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets, G. Ciardo, A. Blakemore, P. F. Chimento, J. Muppala, and K. S. Trivedi, in: Linear Algebra, Markov Chains, and Queueing Models, (invited) Carl Meyer and R. J. Plemmons (eds.), IMA Volumes in Mathematics and its Applications, Vol. 48, pp. 145-191, Springer-Verlag, Heidelberg, 1993.

Analyses Using Stochastic Reward Nets, Lorrie Tomek and K. S. Trivedi, in: Software Fault Tolerance, (invited) M. Lyu (ed.), John Wiley & Sons, 1994.

Markovian Nets - Articles in Symposia Proceedings

SPNP: Stochastic Petri Net Package, G. Ciardo, J. Muppala, and K. S. Trivedi, Proc. Third Int. Workshop on Petri Nets and Performance Models (PNPM89), Kyoto, pp. 142 - 151, 1989.

Stochastic Petri Net Modeling of VAXcluster Availability, O. Ibe, A. Sathaye, R. Howe, and K. S. Trivedi, Proc. Third Int. Workshop on Petri Nets and Performance Models (PNPM89), Kyoto, pp. 112-121, 1989.

Availability Modeling of Heterogeneous VAXcluster Systems: A Stochastic Petri Net Approach, with A. Sathaye and R. Howe, Bulgarian Fault-Tolerant Systems Conference, Varna, 1990.

GSPN Models: Sensitivity Analysis and Applications, J. Muppala and K. S. Trivedi, Proc. 28th Annual ACM SE Region Conference, Greenville, SC, Apr. 1990.

Composite Performance and Availability Analysis using a Hierarchy of Stochastic Reward Nets, J. Muppala and K. S. Trivedi, Fifth International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Turin, Italy, Feb. 13-15, 1991.

A Decomposition Approach for Stochastic Petri Net Models, G. Ciardo and K. S. Trivedi, International Conference on Petri Nets and Performance Models, Melbourne, Australia, pp. 74-83, December 1991.

Approximate Performance Models of Polling Systems Using Stochastic Petri Nets, H. Choi and K. S. Trivedi, Proceedings of the IEEE INFOCOM 92, Florence,Italy, May 4-8,1992.

Approximate Analysis of Priority Scheduling Systems Using Stochastic Reward Nets, with Varsha Mainkar, Proc. 13th International Conference on Distributed Computing Systems, pp. 466-473, Pittsburgh, May 1993.

Buffer Sizing for Available Bit Rate (ABR) Traffic in an ATM Switch, with A. Puliafito, M. Balakrishnan, and I. Viniotis, IEEE International Conference on Communications, Seattle, WA, pp. 316-320, July 1995.

Fixed Point Iteration Using Stochastic Reward Nets, V. Mainkar and K. S. Trivedi, Proc. of Petri Net and Performance Models PNPM95, Durham, NC, Oct. pp. 21-31, 1995.

Performance Evaluation of Dynamic Priority Operating Systems, with S. Greiner, A. Puliafito and G. Bolch, Proc. of Petri Net and Performance Models PNPM95, Durham, NC, pp. 241-251, Oct. 1995.

From stochastic Petri nets to Markov regenerative stochastic Petri nets, K. S. Trivedi, A. Puliafito, and D. Logothetis, Proc. MASCOTS '95, the Third International Workshop. pp 194-198, 1995

Transient Behavior of ATM Networks under Overloads, Chang-Yu Wang, D. Logothetis, K. S. Trivedi, and I. Viniotis, Proceedings of the IEEE INFOCOM 96, San Francisco, CA, pp. 978-985, March 1996.

Modeling Failure Dependencies in Reliability Analysis Using Stochastic Petri Nets, R. Fricks and K. S. Trivedi, Proc. European Simulation Multi-conference (ESM '97), Istanbul, Jun. 1997.

The Evolution of Stochastic Petri Nets, A. Puliafito, M. Telek, and K. S. Trivedi, Proc. World Congress on Systems Simulation (WCSS '97), (2nd Joint Conference of International Simulation Societies), Singapore, Sept. 1-3, 1997, pp. 3-15 (Keynote paper).

Stochastic Petri Nets and Their Applications to Performance Analysis of Computer Networks, K. S. Trivedi and Hairong Sun, Invited paper at International Conference on ``Operational Research For a Better Tomorrow'', New Delhi, Dec. 24, 1998

SPNP: Stochastic Petri Nets. Version 6.0, C. Hirel, B. Tuffin, and K. S. Trivedi, in Computer performance evaluation: Modelling tools and techniques; 11th International Conference; TOOLS 2000, Schaumburg, Il., USA, B. Haverkort, H. Bohnenkamp, C. Smith(eds.), Lecture Notes in Computer Science 1786, Springer Verlag, 2000.

Performance analysis of the CORBA Event Service using stochastic reward nets, S. Ramani, K. S. Trivedi, B. Dasarathy, Proc. of the 19th IEEE Symposium on Reliable Distributed Systems, pp 238-247, 2000.

Optimal call admission control policy for wireless communication networks, D.-Y. Chen, B. H. Soong and K. S. Trivedi, Proc. International Conference on Information, Communication and Signal processing (ICICS'01), Singapore, December 2001.

Non-Markovian Nets - Articles Published in Journals

Markov Regenerative Stochastic Petri Nets, Hoon Choi, Vidyadhar Kulkarni, K. S. Trivedi, Performance Evaluation, Vol. 20, nos. 1-3, pp. 337-357, 1994.

Petri Nets with k-Simultaneously Enabled Generally Distributed Timed Transitions, A. Puliafito, M. Scarpa, and K. S. Trivedi, Performance Evaluation, Vol. 32, No.1, pp. 1-34, February 1998.

Non-Markovian Nets - Chapters of Books

Extended Stochastic Petri Nets: Applications and Analysis, with J. Bechta Dugan, V. Nicola and R. Geist, in: Performance'84, E. Gelenbe (ed.), North-Holland, Amsterdam, 1985, pp. 507-519. This paper is heavily referenced.

Non-Markovian Nets - Articles in Symposia Proceedings

Sensitivity Analysis of Deterministic and Stochastic Petri Nets, H. Choi, V. Mainkar, and K. S. Trivedi, MASCOTS Conf. Proc., Jan 17-20, 1993.
Transient Analysis of Deterministic and Stochastic Petri Nets, Hoon Choi, Vidyadhar Kulkarni, and K. S. Trivedi, Lecture Notes in Computer Science, Vol 691, M. Ajmone Marsan (ed.), Proc. 14th International Conference on Application and Theory of Petri Nets, Springer-Verlag, Heidelberg, pp. 166-185, 1993.

Sensitivity Analysis of Markov Regenerative Stochastic Petri Nets, H. Choi, V. Mainkar, and K. S. Trivedi, Proc. Fifth Int. Workshop on Petri Nets and Performance Models (PNPM93), Toulouse.

Steady state analysis of Markov regenerative spn with age memory policy, M. Telek, A. Bobbio, L. Jereb, A. Puliafito, and K. S. Trivedi, Proceedings of the International Conference on Performance Tools and MMB '95, pp. 165-179, Heidelberg, Germany, 1995.

Preemptive repeat identical transitions in Markov Regenerative Stochastic Petri Nets, A. Bobbio, V. Kulkarni, A. Puliafito, M. Telek, and K. S. Trivedi, in 6-th Int. Conf. on Petri Nets and Performance Models - PNPM95, pp. 113-122, IEEE Computer Society Press, 1063-6714/95, 1995.

Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches, R. German, D. Logothetis, and K. S. Trivedi, Proc. Sixth International Workshop on Petri Nets and Performance Models. pp 103-112, 1995

The Evolution of Stochastic Petri Nets, A. Puliafito, M. Telek, and K. S. Trivedi, Proc. World Congress on Systems Simulation (WCSS '97), (2nd Joint Conference of International Simulation Societies), Singapore, Sept. 1-3, 1997, pp. 3-15 (Keynote paper).

Dependability Modeling and Evaluation of Phased Mission Systems: a DSPN Approach, with Ivan Mura, Andrea Bondavalli and Xinyu Zang, Proc. of Dependable Computing for Critical Applications (DCCA) 7, Jan. 1999, San Jose.

Dependability Modeling and Senisitivity Analysis of Scheduled Maintenance Systems, with A. Bondavalli and I. Mura, Proc. Third European Dependability Computing Conference EDCC 3, Prague, Czech Republic, Sept. 1999.

Implementation of Importance Splitting techniques in Stochastic Petri Net Package, B. Tuffin and K. S. Trivedi, in Computer performance evaluation: Modelling tools and techniques; 11th International Conference; TOOLS 2000, Schaumburg, Il., USA, B. Haverkort, H. Bohnenkamp, C. Smith(eds.), Lecture Notes in Computer Science 1786, Springer Verlag, 2000.

Importance Sampling for the Simulation of Stochastic Petri Nets and Fluid Stochastic Petri Nets, B. Tuffin and K. S. Trivedi, Proceedings of High Performance Computing, Seattle, WA, USA, April, 2001.

Fluid Nets - Articles Published in Journals

Fluid stochastic Petri nets: Theory, Application, and Solution Techniques, G. Horton, V. Kulkarni, D. Nicol, and K. S. Trivedi, European Journal of Operations Research, V. 105, No. 1, pp. 184-201, Feb. 1998.

Discrete-Event Simulation of Fluid Stochastic Petri-Nets, G. Ciardo, D. M. Nicol, and K. S. Trivedi, IEEE Transactions on Software Engineering, Vol. 25, No. 2, pp. 207-217, 1999.

Comparison of Hybrid Systems and Fluid Stochastic Petri Nets, Bruno Tuffin, Dong Chen, and K. S. Trivedi, Discrete Event Dynamic Systems: Theory and Applications, Vol 11, No. 1 & 2, pp. 77-95, 2001.

Fluid Nets - Chapters of Books

FSPNs: Fluid Stochastic Petri Nets, K. S. Trivedi and Vidyadhar Kulkarni (invited paper), Lecture Notes in Computer Science, Vol 691, M. Ajmone Marsan (ed.), Proc. 14th International Conference on Applications and Theory of Petri Nets, Springer-Verlag, Heidelberg, pp. 24-31, 1993.

Fluid Nets - Articles in Symposia Proceedings

Discrete-event Simulation of Fluid Stochastic Petri Nets, with G. Ciardo and D. Nicol, Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM'97), pp. 217-225, St. Malo, France, June 1997. IEEE Comp. Soc. Press.

Related Links

BIBLIOGRAPHY ON HYBRID PETRI NETS

"Special Issue on Hybrid Petri Nets" Discrete Event Dynamic Systems


Last updated on 29 October 2001