Discrete-event simulation of fluid stochastic Petri nets

IEEE Transactions on Software Engineering

Volumn 25, Issue 2, 1999, Pages 207-217

  Ciardo, Gianfranco ^a   Nicol, David M ^b   Trivedi, Kishor S ^c  

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

^b Dartmouth Department of Computer Science_Dartmouth College   (United States)

^c Duke University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DATA STRUCTURES; PETRI NETS; RANDOM PROCESSES; STATE SPACE METHODS;

CONTINUOUS SYSTEM SIMULATIONS; DISCRETE-EVENT SIMULATIONS; STOCHASTIC PETRI NETS;

SOFTWARE ENGINEERING;

EID: 0032667545     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.761446     Document Type: Article

References (25)

1. T. Agerwala, "A Complete Model for Representing the Coordination of Asynchronous Processes," Hopkins Computer Research Report 32, Johns Hopkins Univ., Baltimore, July 1974.
2. M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani, "The Effect of Execution Policies on the Semantics and Analyis of Stochastic Petri Nets," IEEE Trans. Software Eng., vol. 15, no. 7, pp. 832-846, July 1989.
3. M. Ajmone Marsan, G. Balbo, and G. Conte, "A Class of Generalized Stochastic Petri Nets for the PerformanceEvaluation of Multiprocessor Systems," ACM Trans. Computing Systems, vol. 2, no. 2, pp. 93-122, May 1984.
4. M. Ajmone Marsan, G. Balbo, and G. Conte, Performance Models of Multiprocessor Systems. Cambridge, Mass.: MIT Press, 1986.
5. D. Anick, D. Mitra, and M. Sondhi, "Stochastic Theory of DataHandling Systems," Bell Systems Technology J., vol. 61, no. 8, pp. 1,871-1,894, Oct. 1982.
6. T. Araki and T. Kasami, "Some Decision Problems Related to the Reachability Problem for Petri nets," Theoretical Computer Science, vol. 3, pp. 85-104,1977.
7. E. Asarin, O. Maler, and A. Pnueli, "Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives," Theoretical Computer Science, vol. 138, pp. 35-65,1995.
8. C.G. Cassandras, Discrete Event Systems: Modeling and Performance Analysis. Aksen Assoc., 1993.
9. G. Ciardo, "Analysis of Large Stochastic Petri net Models," PhD thesis, Duke Univ., Durham, N.C., 1989.
10. G. Ciardo, "Discrete-Time Markovian Stochastic Petri nets," W.J. Stewart, ed., Computations with Markov Chains, pp. 339-358. Boston, Mass.: Kluwer, 1995.
11. G. Ciardo, J.K. Muppala, and K.S. Trivedi, "Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Petri nets," J. Parallel and Distributed Computers, vol. 15, no. 3, pp. 255-269, July 1992.
12. G. Ciardo, K.S. Trivedi, and J.K. Muppala, "SPNP: Stochastic Petri net Package," Proc. Third Int'l Workshop Petri Nets and Performance Models, PNPM'89, pp. 142-151, Kyoto, Japan, IEEE CS Press, Dec. 1989.
13. R. David, "Modeling of Hybrid Systems Using Continuous and Hybrid Petri nets," Proc. Seventh Int'l Workshop Petri Nets and Performance Models, PNPM'97, pp. 47-58, St. Malo, France, IEEE CS Près, June 1997. s.
14. R. David and H. Alla, "Continuous Petri nets," Proc. Eighth European Workshop on Application and Theory of Petri Nets, pp. 275-294, Zaragoza, Spain, 1987.
15. A.I. Elwalid and D. Mitra, "Statistical Multiplexing with Loss Priorities in Rate-Based Congestion Control of High-Speed Networks," IEEE Trans. Communications, vol. 42, no. 11, pp. 2,9893,002, Nov. 1994.
16. W.K. Grassmann and Y. Wang, "Immediate Events in Markov Chains," W.J. Stewart, ed., Computations with Markov Chains, pp. 163-176. Boston: Kluwer Academic, 1995.
17. M. Hack, "Decidability Questions for Petri nets," Technical Report 161, Laboratory for Computer Science, Massachusetts Inst. of Tech., Cambridge, Mass., June 1976.
18. G. Horton, V. Kulkarni, D. Nicol, and K. Trivedi, "Fluid Stochastic Petri nets: Theory, Application, and Solution," European J. Operational Resonance, vol. 105, pp. 184-201,1998.
19. J.F. Klingener, "Programming Combined Discrete-Continuous Models for Performance," Proc. Winter Simulation Co/, pp. 833839,1996.
20. P.A.W. Lewis and G.S. Shedler, "Simulation of Nonhomogeneous Poisson Processes by Thinning," Naval Research Logistics Quarterly, vol. 26, pp. 40314,1979.
21. D. Mitra, "Stochastic Theory of Fluid Models of Multiple FailureSusceptible Producers and Consumers Coupled by a Buffer," Advanced Applications Probability, vol. 20, pp. 646-676,1988.
22. T. Robertazzi, Computer Networks and Systems: Oueueing Theory and Performance Evaluation. Springer-Verlag, 1990.
23. M. Telek, A. Bobbio, and A. Puliafito, "Steady State Solution of MRSPN with Mixed Preemption Policies," Proc. IEEE Int'l Computer Performance and Dependability Symp., /PDS'96, pp. 106-115, Urbana-Champaign, 111., IEEE CS Press, Sept. 1996..
24. K.S. Trivedi and V.G. Kulkarni, "FSPNs: Fluid Stochastic Petri nets," Proc. 14th Int'l Conf. Applications and Theory of Petri Nets, pp. 24-31, Chicago, June 1993.
25. N. Viswanadham and Y. Narahari, Performance Modeling of Automated Manufacturing Systems. Englewood Cliffs, N.J.: Prentice Hall, 1992.