SPNP
From MaRDI portal
Software:19949
swMATH7933MaRDI QIDQ19949FDOQ19949
Author name not available (Why is that?)
Cited In (45)
- Design and performance analysis of a disk array system
- Low overhead multiprocessor allocation strategies exploiting system spare capacity for fault detection and location
- Title not available (Why is that?)
- Modeling discrete event systems with state-dependent deterministic service times
- Specification techniques for Markov reward models
- Title not available (Why is that?)
- Title not available (Why is that?)
- Numerical computation of response time distributions using stochastic reward nets
- Title not available (Why is that?)
- GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
- TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets
- Transient Analysis of Large Markov Models with Absorbing States Using Regenerative Randomization
- Stochastic Discrete Event Systems
- Stochastic Petri net analysis of finite-population vacation queueing systems
- Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dependability analysis of the data communication system in train control system
- Response time behavior of distributed voting algorithms for managing replicated data
- Queueing Networks and Markov Chains
- Temporal analysis of data flow control systems
- A logic for reasoning about time and reliability
- Stochastic Petri net extension of a yeast cell cycle model
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fluid stochastic Petri nets: Theory, applications, and solution techniques
- Two queues with alternating service and server breakdown
- A simplified framework for stochastic workflow networks
- Comparison of hybrid systems and fluid stochastic Petri nets
- Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
- Title not available (Why is that?)
- Performance evaluation in stochastic process algebra dtsdPBC
- Title not available (Why is that?)
- Accelerating Petri-net simulations using NVIDIA graphics processing units
- Performance analysis of retrial queueing systems using generalized stochastic Petri nets
- Title not available (Why is that?)
- Approximate performability and dependability analysis using generalized stochastic Petri nets
- Formal reasoning about finite-state discrete-time Markov chains in HOL
- Transient analysis of Markov models of fault‐tolerant systems with deferred repair using split regenerative randomization
- Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets
- Performance analysis using Petri nets
- Transient analysis of multiclass manufacturing systems with priority scheduling
- Structured analysis approaches for large Markov chains
- Title not available (Why is that?)
- Formal reliability analysis of redundancy architectures
This page was built for software: SPNP