The following pages link to SPNP (Q19949):
Displaying 45 items.
- Response time behavior of distributed voting algorithms for managing replicated data (Q294838) (← links)
- Formal reliability analysis of redundancy architectures (Q667523) (← links)
- Specification techniques for Markov reward models (Q686334) (← links)
- Modeling discrete event systems with state-dependent deterministic service times (Q686337) (← links)
- Two queues with alternating service and server breakdown (Q749053) (← links)
- Dependability analysis of the data communication system in train control system (Q1047332) (← links)
- Temporal analysis of data flow control systems (Q1129680) (← links)
- Performance analysis using Petri nets (Q1206477) (← links)
- Fluid stochastic Petri nets: Theory, applications, and solution techniques (Q1291721) (← links)
- Numerical computation of response time distributions using stochastic reward nets (Q1315340) (← links)
- A logic for reasoning about time and reliability (Q1343864) (← links)
- Transient analysis of multiclass manufacturing systems with priority scheduling (Q1362934) (← links)
- Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization. (Q1423444) (← links)
- Accelerating Petri-net simulations using NVIDIA graphics processing units (Q1681365) (← links)
- Stochastic Petri net extension of a yeast cell cycle model (Q1797724) (← links)
- Structured analysis approaches for large Markov chains (Q1807701) (← links)
- Performance evaluation in stochastic process algebra dtsdPBC (Q2058309) (← links)
- Stochastic Petri net analysis of finite-population vacation queueing systems (Q2277684) (← links)
- A simplified framework for stochastic workflow networks (Q2389516) (← links)
- Formal reasoning about finite-state discrete-time Markov chains in HOL (Q2434565) (← links)
- Modeling and control of discrete-event dynamic systems with Petri nets and other tools. (Q2458637) (← links)
- (Q2729010) (← links)
- (Q2729011) (← links)
- (Q2729014) (← links)
- (Q2771814) (← links)
- Performance analysis of retrial queueing systems using generalized stochastic Petri nets (Q2842575) (← links)
- (Q3045265) (← links)
- Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets (Q3122378) (← links)
- GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets (Q3122571) (← links)
- TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets (Q3122573) (← links)
- (Q4217271) (← links)
- Approximate performability and dependability analysis using generalized stochastic Petri nets (Q4272468) (← links)
- (Q4281302) (← links)
- (Q4325368) (← links)
- (Q4417943) (← links)
- Design and performance analysis of a disk array system (Q4421173) (← links)
- Low overhead multiprocessor allocation strategies exploiting system spare capacity for fault detection and location (Q4421222) (← links)
- (Q4547764) (← links)
- (Q4864009) (← links)
- (Q5270046) (← links)
- Stochastic Discrete Event Systems (Q5310428) (← links)
- Transient analysis of Markov models of fault‐tolerant systems with deferred repair using split regenerative randomization (Q5438530) (← links)
- Queueing Networks and Markov Chains (Q5480286) (← links)
- Transient Analysis of Large Markov Models with Absorbing States Using Regenerative Randomization (Q5719272) (← links)
- Comparison of hybrid systems and fluid stochastic Petri nets (Q5930253) (← links)
