Fluid stochastic Petri nets: Theory, applications, and solution techniques
From MaRDI portal
Publication:1291721
DOI10.1016/S0377-2217(97)00028-3zbMath0957.90011OpenAlexW2043896870MaRDI QIDQ1291721
Vidyadhar G. Kulkarni, David M. Nicol, Graham Horton, Kishor S. Trivedi
Publication date: 22 March 2001
Published in: European Journal of Operational Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0377-2217(97)00028-3
Deterministic network models in operations research (90B10) Markov and semi-Markov decision processes (90C40)
Related Items
Simulation of N-dimensional second-order fluid models with different absorbing, reflecting and mixed barriers, Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates, Modeling And Performance Evaluation Of Branch And Value Prediction In Ilp Processors, Regularity of invariant densities for 1D systems with random switching, Equivalences for fluid stochastic Petri nets, Analyzing Oscillatory Behavior with Formal Methods, Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds, Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes, Second-order fluid models with general boundary behaviour, Analytic solutions for stochastic hybrid models of gene regulatory networks, Stochastic hybrid models of gene regulatory networks -- a PDE approach, FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS, Discrete transparent boundary conditions for parabolic systems, Stochastic model for maintenance in continuously deteriorating systems, Performability assessment by model checking of Markov reward models, A fluid analysis framework for a Markovian process algebra, First-order hybrid Petri nets. An application to distributed manufacturing systems, Formalisms for Specifying Markovian Population Models, On fluidization of discrete event models: Observation and control of continuous Petri nets, Logical characterization of fluid equivalences, Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques, Approximate analysis of biological systems by hybrid switching jump diffusion
Uses Software
Cites Work
- Stochastic modelling of flexible manufacturing systems
- Stochastic theory of a fluid model of producers and consumers coupled by a buffer
- Second-Order Fluid Flow Models: Reflected Brownian Motion in a Random Environment
- A class ofA-stable methods
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
