
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi, "DiscreteEvent Simulation of Fluid Stochastic Petri Nets," IEEE Transactions on Software Engineering, vol. 25, no. 2, pp. 207217, March/April, 1999.  
BibTex  x  
@article{ 10.1109/32.761446, author = {Gianfranco Ciardo and David M. Nicol and Kishor S. Trivedi}, title = {DiscreteEvent Simulation of Fluid Stochastic Petri Nets}, journal ={IEEE Transactions on Software Engineering}, volume = {25}, number = {2}, issn = {00985589}, year = {1999}, pages = {207217}, doi = {http://doi.ieeecomputersociety.org/10.1109/32.761446}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  DiscreteEvent Simulation of Fluid Stochastic Petri Nets IS  2 SN  00985589 SP207 EP217 EPD  207217 A1  Gianfranco Ciardo, A1  David M. Nicol, A1  Kishor S. Trivedi, PY  1999 KW  Discreteevent simulation KW  continuous system simulation KW  stochastic Petri nets. VL  25 JA  IEEE Transactions on Software Engineering ER   
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. 832846, 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. 93122, 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 DataHandling Systems," Bell Systems Technology J., vol. 61, no. 8, pp. 1,8711,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. 85104, 1977.
[7] E. Asarin, O. Maler, and A. Pnueli, "Reachability Analysis of Dynamical Systems Having PiecewiseConstant Derivatives," Theoretical Computer Science, vol. 138, pp. 3565, 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, "DiscreteTime Markovian Stochastic Petri nets," W.J. Stewart, ed., Computations with Markov Chains, pp. 339358.Boston, Mass.: Kluwer, 1995.
[11] G. Ciardo, J.K. Muppala, and K.S. Trivedi, "Analyzing Concurrent and FaultTolerant Software Using Stochastic Petri nets," J. Parallel and Distributed Computers, vol. 15, no. 3, pp. 255269, 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. 142151, 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. 4758,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. 275294,Zaragoza, Spain, 1987.
[15] A.I. Elwalid and D. Mitra, "Statistical Multiplexing with Loss Priorities in RateBased Congestion Control of HighSpeed 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. 163176.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. 184201, 1998.
[19] J.F. Klingener, "Programming Combined DiscreteContinuous Models for Performance," Proc. Winter Simulation Conf., 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. 403414, 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. 646676, 1988.
[22] T. Robertazzi, Computer Networks and Systems: Queueing Theory and Performance Evaluation. SpringerVerlag, 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. 106115,UrbanaChampaign, 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. 2431,Chicago, June 1993.
[25] N. Viswanadham and Y. Narahari, Performance Modeling of Automated Manufacturing Systems.Englewood Cliffs, N.J.: Prentice Hall, 1992.