SPNP

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