| K. S. Trivedi and V. G. Kulkarni, \FSPNs: uid stochastic Petri nets," in Proc. 14th Int. Conf. on Applications and Theory of Petri Nets, (Chicago, IL), pp. 24-31, June 1993. |
....if the transition res the level of the uid place is set to 0. With this feature we can model situations in which uid like quantities disappear in immediate manner or in very short time. Several di erent versions of FSPNs have been de ned in the literature (see for example [1] 2] 3] 4] [5], 6] and for many of them a method to derive the equations that describe the underlying stochastic process has been provided. In general, the solution of these equations is not a trivial task, and this problem has been directly addressed in many papers. In particular, steady state solution for ....
K.Trivedi and V. Kulkarni, \FSPNs: uid stochastic Petri nets," in Proceedings 14-th International Conference on Application and Theory of Petri Nets, Chicago, 1993, pp. 24-31.
....where uid can be used to approximate a large number of discrete tokens. Armed with such Fluid Stochastic Petri nets (FSPNs) we can also model physical systems that contain continuous uid like quantities which are controlled by discrete logic. FSPNs were introduced by Trivedi and Kulkarni in [14]. The original model was considerably enhanced in [9] The purpose of this paper is twofold: rst we further extend the formalism in [9] to make it more useful and, second, we explore the use of simulation as a solution method for FSPNs. The extensions to This research was partially supported by ....
K. S. Trivedi and V. G. Kulkarni, \FSPNs: uid stochastic Petri nets," in Proc. 14th Int. Conf. on Applications and Theory of Petri Nets, (Chicago, IL), pp. 24-31, June 1993.
....interval is d = 752 h, at which the availability achieves its maximum value v 1 = 0:999727. 9 Fluid Stochastic Petri Nets Recognizing the increasing use of stochastic uid ow models in performance analysis, Trivedi and Kulkarni introduced the class of Fluid Stochastic Petri Nets (FSPN) [82]. This class extends the traditional integer token concept by introducing the possibility for the tokens to be real (positive) entities assigned to special continuous places. For a discussion about continuous and hybrid PN models see also [5] The places are partitioned into a set of discrete ....
....uid level. The state 31 space of an FSPN is partially discrete and partially continuous. The discrete part is an integer vector accounting for the number of tokens in the discrete places. The continuous part is a vector of real numbers accounting for the uid levels in the continuous places. In [82], the continuous part of a marking does not a ect the discrete state stochastic process de ned over the discrete places (which is a homogeneous CTMC) Let S be the set of reachable discrete markings and Q be the in nitesimal generator of the underlying CTMC. The evolution of the continuous part of ....
[Article contains additional citation context not shown here]
K.Trivedi and V. Kulkarni. FSPNs: uid stochastic Petri nets. In Proceedings 14th International Conference on Application and Theory of Petri Nets, pages 24-31, Chicago, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC