Equivalences for fluid stochastic Petri nets
DOI10.17377/semi.2017.14.029zbMath1373.68299arXiv1706.02641MaRDI QIDQ2403677
Peter Buchholz, Igor V. Tarasyuk
Publication date: 11 September 2017
Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1706.02641
performance analysistransiencestationaritybisimulationcontinuous-time Markov chainsfluid stochastic Petri nets
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- Tackling continuous state-space explosion in a Markovian process algebra
- Second-order fluid models with general boundary behaviour
- A fluid analysis framework for a Markovian process algebra
- Optimal state-space lumping in Markov chains
- Bisimulation through probabilistic testing
- Fluid stochastic Petri nets: Theory, applications, and solution techniques
- Use of flow equivalent servers in the transient analysis of product form queuing networks
- A unified framework for differential aggregations in Markovian process algebra
- Non-bisimulation-based Markovian behavioral equivalences
- Exact fluid lumpability in Markovian process algebra
- Exact Fluid Lumpability for Markovian Process Algebra
- Differential Bisimulation for a Markovian Process Algebra
- Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
- Introduction to Generalized Stochastic Petri Nets
- A Survey of Markovian Behavioral Equivalences
- Fluid Models in Performance Analysis
- Discrete Time Stochastic Petri Nets
- Algebraic laws for nondeterminism and concurrency
- On the solution of GSPN reward models
- The Effect of Lumping and Expanding on Kinetic Differential Equations
- A notion of equivalence for stochastic Petri nets
- Forward and Backward Bisimulations for Chemical Reaction Networks
- A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
- A Compositional Approach to Performance Modelling
- Symbolic computation of differential equivalences
- Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis
This page was built for publication: Equivalences for fluid stochastic Petri nets
