Pages that link to "Item:Q1291721"
From MaRDI portal
The following pages link to Fluid stochastic Petri nets: Theory, applications, and solution techniques (Q1291721):
Displaying 27 items.
- Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates (Q291345) (← links)
- Individuals, populations and fluid approximations: a Petri net based perspective (Q313335) (← links)
- Approximation of the asymptotic mean marking of SPNs with contPNs (Q360628) (← links)
- About the stochastic and continuous Petri nets equivalence in the long run (Q417726) (← links)
- Stochastic hybrid models of gene regulatory networks -- a PDE approach (Q669087) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- Simulation of N-dimensional second-order fluid models with different absorbing, reflecting and mixed barriers (Q832076) (← links)
- Second-order fluid models with general boundary behaviour (Q928203) (← links)
- Performability assessment by model checking of Markov reward models (Q968359) (← links)
- A fluid analysis framework for a Markovian process algebra (Q974116) (← links)
- First-order hybrid Petri nets. An application to distributed manufacturing systems (Q1003528) (← links)
- Stochastic model for maintenance in continuously deteriorating systems (Q1751945) (← links)
- Analytic solutions for stochastic hybrid models of gene regulatory networks (Q2223255) (← links)
- On the fluidization of Petri nets and marking homothecy (Q2252988) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Approximate analysis of biological systems by hybrid switching jump diffusion (Q2348027) (← links)
- Simulating Markovian stochastic Petri nets by difference equations with interval parameters (Q2348376) (← links)
- Equivalences for fluid stochastic Petri nets (Q2403677) (← links)
- Discrete transparent boundary conditions for parabolic systems (Q2473090) (← links)
- Analyzing Oscillatory Behavior with Formal Methods (Q2937728) (← links)
- FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS (Q3016219) (← links)
- Regularity of invariant densities for 1D systems with random switching (Q3458787) (← links)
- Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds (Q3510870) (← links)
- Formalisms for Specifying Markovian Population Models (Q3646248) (← links)
- Modeling And Performance Evaluation Of Branch And Value Prediction In Ilp Processors (Q4796492) (← links)
- Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis (Q5928917) (← links)
