Discrete-event simulation of fluid stochastic Petri nets

The purpose of the paper is to describe a method for the simulation of recently introduced fluid stochastic Petri nets. Since such nets result in a rather complex set 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]  David M. Nicol,et al.  Fluid stochastic Petri nets: Theory, applications, and solution techniques , 1998, Eur. J. Oper. Res..

[2]  Antonio Puliafito,et al.  Steady state solution of MRSPN with mixed preemption policies , 1996, Proceedings of IEEE International Computer Performance and Dependability Symposium.

[3]  Kishor S. Trivedi,et al.  FSPNs: Fluid Stochastic Petri Nets , 1993, Application and Theory of Petri Nets.

[4]  Winfried K. Grassmann,et al.  Immediate Events in Markov Chains , 1995 .

[5]  G. Shedler,et al.  Simulation of Nonhomogeneous Poisson Processes by Thinning , 1979 .

[6]  David Finkel.  Brief review: Computer Networks & Systems: Queueing Theory and Performance Evaluation by Thomas Robertazzi (Springer-Verlag, 1990) , 1991, PERV.

[7]  Marco Ajmone Marsan,et al.  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets , 1989, IEEE Trans. Software Eng..

[8]  D. Mitra.  Stochastic theory of a fluid model of producers and consumers coupled by a buffer , 1988, Advances in Applied Probability.

[9]  G. Ciardo,et al.  DISCRETE-TIME MARKOVIAN STOCHASTIC PETRI NETS , 1995 .

[10]  Marco Ajmone Marsan,et al.  Performance models of multiprocessor systems , 1987, MIT Press series in computer systems.

[11]  Thomas G. Robertazzi,et al.  Computer Networks and Systems , 1994, Springer US.

[12]  Amir Pnueli,et al.  Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives , 1995, Theor. Comput. Sci..

[13]  Christos G. Cassandras,et al.  Discrete event systems : modeling and performance analysis , 1993 .

[14]  Michel Hack,et al.  Decidability Questions for Petri Nets , 1975, Outstanding Dissertations in the Computer Sciences.

[15]  Yadati Narahari,et al.  Performance modeling of automated manufacturing systems , 1992 .

[16]  Tadao Kasami,et al.  Some Decision Problems Related to the Reachability Problem for Petri Nets , 1976, Theor. Comput. Sci..

[17]  Gianfranco Ciardo,et al.  Analysis of large stochastic petri net models , 1990 .

[18]  T. Agerwala,et al.  Complete model for representing the coordination of asynchronous processes , 1974 .

[19]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[20]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[21]  D. Mitra,et al.  Stochastic theory of a data-handling system with multiple sources , 1982, The Bell System Technical Journal.

[22]  Kishor S. Trivedi,et al.  Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets , 1992, J. Parallel Distributed Comput..

[23]  A.I. Elwalid,et al.  Statistical multiplexing with loss priorities in rate-based congestion control of high-speed networks , 1994, IEEE Trans. Commun..

[24]  René David.  Modeling of hybrid systems using continuous and hybrid Petri nets , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.