Publication:4784053
From MaRDI portal
zbMath1013.60065MaRDI QIDQ4784053
Pieter Kritzinger, Falko Bause
Publication date: 9 December 2002
stochastic Petri nets; queueing systems; performance of computer and communication systems; queueing-Petri nets
60K25: Queueing theory (aspects of probability theory)
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
60J99: Markov processes
60-02: Research exposition (monographs, survey articles) pertaining to probability theory
Related Items
Polynomial Time Reachability Analysis in Discrete State Chemical Reaction Networks Obeying Conservation Laws, Stochastic Petri Nets Sensitivity to Token Scheduling Policies, Computing with chemical reaction networks: a tutorial, A hybrid approach to failure analysis using stochastic Petri nets and ranking generalized fuzzy numbers, Three-valued abstraction for probabilistic systems, A computational approach to extinction events in chemical reaction networks with discrete state spaces, Structured construction and simulation of nondeterministic stochastic activity networks, Conditions for extinction events in chemical reaction networks with discrete state spaces, Performance evaluation in stochastic process algebra dtsdPBC, Discovering stochastic process models by reduction and abstraction, Reachability analysis of low-order discrete state reaction networks obeying conservation laws, Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC, Decidable Classes of Unbounded Petri Nets with Time and Urgency, On Probabilistic Techniques for Data Flow Analysis, Stochastic Object-Based Graph Grammars, On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet