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