This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Discrete-Event Simulation of Fluid Stochastic Petri Nets
March/April 1999 (vol. 25 no. 2)
pp. 207-217

Abstract—The purpose of this paper is to describe a method for the simulation of the recently introduced fluid stochastic Petri nets. Since such nets result in rather complex system of partial differential equations, numerical solution becomes a formidable task. Because of a mixed (discrete and continuous) state space, simulative solution also poses some interesting challenges, which are addressed in the paper.

[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.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 Trans. Software Eng., vol. 15, pp. 832-846, 1989.
[3] M.Ajmone Marsan,G. Balbo,, and G. Conte,“A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,” ACM Trans. Computer Systems, pp. 93-122, vol. 2, no. 2, 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 Data-Handling 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, J. Muppala, and K. Trivedi, SPNP: Stochastic Petri Net Package Proc. Third Int'l Workshop Petri Nets and Performance Models, pp. 142-151, 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 Pres, 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,989-3,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 Conf., pp. 833-839, 1996.
[20] P.A.W. Lewis and G.S. Shedler, "Simulation of Nonhomogeneous Poisson Processes by Thinning," Naval Research Logistics Quarterly, vol. 26, pp. 403-414, 1979.
[21] D. Mitra, "Stochastic Theory of Fluid Models of Multiple Failure-Susceptible Producers and Consumers Coupled by a Buffer," Advanced Applications Probability, vol. 20, pp. 646-676, 1988.
[22] T. Robertazzi, Computer Networks and Systems: Queueing 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., IPDS'96, pp. 106-115,Urbana-Champaign, Ill., 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.

Index Terms:
Discrete-event simulation, continuous system simulation, stochastic Petri nets.
Citation:
Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi, "Discrete-Event Simulation of Fluid Stochastic Petri Nets," IEEE Transactions on Software Engineering, vol. 25, no. 2, pp. 207-217, March-April 1999, doi:10.1109/32.761446
Usage of this product signifies your acceptance of the Terms of Use.