scientific article; zbMATH DE number 1461224

zbMath0953.68015MaRDI QIDQ4485810

Reinhard German

Publication date: 19 June 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

performance evaluationcommunication systemsnon-Markovian stochastic Petri nets

Mathematics Subject Classification ID

Inference from stochastic processes (62M99) Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items

Categorical foundations for randomly timed automata ⋮ An approach for analyzing the reliability of industrial system using fuzzy Kolmogorov's differential equations ⋮ Revisiting the matrix‐free solution of Markov regenerative processes ⋮ On-the-fly verification and optimization of DTA-properties for large Markov chains ⋮ Analysis of \(GI^{X}/ M(n)// N\) systems with stochastic customer acceptance policy ⋮ Performability assessment by model checking of Markov reward models ⋮ Model checking expected time and expected reward formulae with random time bounds ⋮ Approximating Matrix-Exponential Distributions by Global Randomization ⋮ Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments ⋮ Bio-PEPAd: a non-Markovian extension of Bio-PEPA

Uses Software

• Mathematica