Graham Horton, Vidyadhar G. Kulkarni, David M. Nicol, Kishor S. Trivedi  Home/Search
Context Related
| nasa.gov/icase/199...icase19965.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nasa.gov/ltrs/cit (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we introduce a new class of stochastic Petri nets in which one or more places can hold fluid rather than discrete tokens. We define a class of fluid stochastic Petri nets in such a way that the discrete and continuous portions may affect each other. Following this definition we provide equations for their transient and steady-state behavior. We present several examples showing the utility of the construct in communication network modeling and reliability analysis, and discuss... (Update)
Context of citations to this paper: More
...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: first we further extend the formalism in [9] to make it more useful and, second, we explore the...
...the transitions is enabled, as long as the level remains between zero and the upper bound. For further information on FSPNs, see [17, 44] Chapter 3 SPNP file organization The package is composed of several C files. The SRN to be studied must be described in a CSPL (C based...
Cited by: More
Discrete-event simulation of fluid stochastic Petri nets - Ciardo, Nicol (Correct)
Stochastic Petri Nets and Their Applications to Performance.. - Trivedi, Sun (Correct)
IDEAS: an Integrated Design Environment for.. - Fricks, Hirel.. (1996) (Correct)
Similar documents (at the sentence level):
72.3%: Fluid Stochastic Petri Nets: Theory, Applications.. - Horton, Kulkarni.. (1996) (Correct)
Active bibliography (related documents): More All
0.2: Discontinuous Galerkin Methods For Ordinary Differential Equations - Bauer (1995) (Correct)
0.2: Order Stars and Stiff Integrators - Hairer, Wanner (1999) (Correct)
0.2: Fluid And Diffusion Limits For Queues In Slowly.. - Choudhury.. (1997) (Correct)
Similar documents based on text: More All
0.4: Preemptive Repeat Identical Transitions in Markov.. - Bobbio, Kulkarni, al. (1995) (Correct)
0.3: Markov Regenerative Process In Sharpe - Xie (Correct)
0.3: Performance and Reliability Modeling using Markov Regenerative.. - Hoon Choi (1993) (Correct)
Related documents from co-citation: More All
4: Analyzing concurrent and fault-tolerant software using stochastic Petri nets - Ciardo, Muppala et al. - 1992
3: A class of generalized stochastic Petri nets for the performance analysis of mul.. (context) - Marsan, Balbo et al. - 1984
3: FSPNs:Fluid Stochastic Petri Nets (context) - Trivedi, Kulkarni - 1993
BibTeX entry: (Update)
G. Horton, V. Kulkarni, D. Nicol, and K. Trivedi, "Fluid stochastic Petri nets: Theory, application, and solution," ICASE Report 96-5, Institute for Computer Applications in Science and Engineering, Hampton, VA, 1996. http://citeseer.ist.psu.edu/article/horton96fluid.html More
@techreport{ horton96fluid,
author = "Graham Horton and Vidyadhar G. Kulkarni and David M. Nicol and Trivedi and Kishor S.",
title = "{FLUID} {STOCHASTIC} {PETRI} {NETS}: {THEORY}, {APPLICATIONS}, {AND} {SOLUTION}",
number = "TR-96-5",
year = "1996",
url = "citeseer.ist.psu.edu/article/horton96fluid.html" }
Citations (may not include all citations):413 Petri Net Theory and the Modeling of Systems (context) - Peterson - 1981
162 Petri Nets: Properties, analysis and applications (context) - Murata - 1989
130 SPNP: Stochastic Petri Net Package - Ciardo, Muppala et al. - 1989
97 On Petri nets with deterministic and exponentially distribut.. (context) - Marsan, Chiola - 1987
84 Numerical Heat Transfer and Fluid Flow (context) - Patankar - 1980
81 Performance Models of Multiprocessor Systems (context) - Marsan, Balbo et al. - 1986
72 Discrete Event Systems: Modeling and Performance Analysis (context) - Cassandras - 1993
52 Automated generation and analysis of Markov reward models us.. (context) - Ciardo, Blakemore et al. - 1992
34 Performance Modeling of Automated Manufacturing Systems (context) - Viswanadham, Narahari - 1992
23 FSPNs: Fluid Stochastic Petri Nets (context) - Trivedi, Kulkarni - 1993
22 Statistical Multiplexing with Loss Priorities in Rate-Based .. (context) - Elwalid, Mitra - 1994
22 Transient simulation of Silicon devices and circuits (context) - Bank, Coughran et al. - 1985
20 Computer Networks and Systems: Queueing Theory and Performan.. (context) - Robertazzi - 1990
20 Measurement and Modeling of Computer Reliability as Affected.. (context) - Iyer, Rosetti et al. - 1986
16 Analyzing concurrent and fault-tolerant software using stoch.. - Ciardo, Muppala et al. - 1992
10 Stochastic Theory of Data-Handling Systems (context) - Anick, Mitra et al. - 1982
10 Stochastic Theory of Fluid Models of Multiple Failure-Suscep.. (context) - Mitra - 1988
7 Second-order fluid flow models: Reflected Brownian motion in.. (context) - Karandikar, Kulkarni - 1995
4 A class of A-stable methods (context) - Axelsson - 1969
Documents on the same site (http://techreports.larc.nasa.gov/ltrs/cit.html): More
Formal Verification of the Interactive Convergence Clock.. - Rushby, von Henke (1991) (Correct)
Using the MCPLXS Generator for Technology Transfer - Moore, al. (1987) (Correct)
An Overview of Particle Sampling Bias - Edwards, Meyers (Correct)
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