SPNP

swMATH7933MaRDI QIDQ19949FDOQ19949

Author name not available (Why is that?)

Official website: https://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/db/spnp.html

Cited In (64)

• 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
• Closed-form approach for epistemic uncertainty propagation in analytic models
• 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
• GreatSPN
• SIMSCRIPT
• TimeNET
• SHARPE
• SMART_
• ExSpect
• YAWL
• Two queues with alternating service and server breakdown
• DSPNexpress
• MACOM
• QNAT
• ARENA
• TELPACK
• cuRAND
• ESP
• GTPN
• MGMtool
• MOSEL
• SPN2MGM
• 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
• Möbius
• 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
• Formal reliability analysis of redundancy architectures

This page was built for software: SPNP