SPNP
From MaRDI portal
Cited in
(68)- Design and performance analysis of a disk array system
- Low overhead multiprocessor allocation strategies exploiting system spare capacity for fault detection and location
- Fluid stochastic Petri nets: Theory, applications, and solution techniques
- Two queues with alternating service and server breakdown
- Performance evaluation in stochastic process algebra dtsdPBC
- GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
- TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets
- scientific article; zbMATH DE number 1956597 (Why is no real title available?)
- Performance analysis using Petri nets
- scientific article; zbMATH DE number 2088666 (Why is no real title available?)
- Stochastic Petri net analysis of finite-population vacation queueing systems
- scientific article; zbMATH DE number 1706364 (Why is no real title available?)
- scientific article; zbMATH DE number 1219609 (Why is no real title available?)
- Formal reasoning about finite-state discrete-time Markov chains in HOL
- scientific article; zbMATH DE number 1786472 (Why is no real title available?)
- scientific article; zbMATH DE number 1629917 (Why is no real title available?)
- Comparison of hybrid systems and fluid stochastic Petri nets
- Numerical computation of response time distributions using stochastic reward nets
- Transient analysis of multiclass manufacturing systems with priority scheduling
- Stochastic Petri net extension of a yeast cell cycle model
- scientific article; zbMATH DE number 732081 (Why is no real title available?)
- scientific article; zbMATH DE number 510833 (Why is no real title available?)
- A logic for reasoning about time and reliability
- Stochastic Discrete Event Systems
- Closed-form approach for epistemic uncertainty propagation in analytic models
- Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization.
- Modeling discrete event systems with state-dependent deterministic service times
- Specification techniques for Markov reward models
- Formal reliability analysis of redundancy architectures
- Queueing Networks and Markov Chains
- GreatSPN
- SIMSCRIPT
- TimeNET
- GreatSPN 1.7
- RESTART
- PEARL
- SHARPE
- PEPS
- SMART_
- ExSpect
- YAWL
- Temporal analysis of data flow control systems
- DSPNexpress
- MACOM
- QNAT
- ARENA
- TELPACK
- cuRAND
- ESP
- GTPN
- Accelerating Petri-net simulations using NVIDIA graphics processing units
- MGMtool
- MOSEL
- SPN2MGM
- Dependability analysis of the data communication system in train control system
- Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
- Structured analysis approaches for large Markov chains
- Möbius
- Transient analysis of Markov models of fault‐tolerant systems with deferred repair using split regenerative randomization
- Transient Analysis of Large Markov Models with Absorbing States Using Regenerative Randomization
- Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets
- A simplified framework for stochastic workflow networks
- scientific article; zbMATH DE number 839083 (Why is no real title available?)
- Response time behavior of distributed voting algorithms for managing replicated data
- Approximate performability and dependability analysis using generalized stochastic Petri nets
- Performance analysis of retrial queueing systems using generalized stochastic Petri nets
- scientific article; zbMATH DE number 1629918 (Why is no real title available?)
- scientific article; zbMATH DE number 1629920 (Why is no real title available?)
This page was built for software: SPNP
