scientific article; zbMATH DE number 1843158
From MaRDI portal
queueing systemsstochastic Petri netsperformance of computer and communication systemsqueueing-Petri nets
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Markov processes (60J99) Queueing theory (aspects of probability theory) (60K25) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Research exposition (monographs, survey articles) pertaining to probability theory (60-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- scientific article; zbMATH DE number 1786473
- scientific article; zbMATH DE number 4213422
- Introduction to generalized stochastic Petri nets
- scientific article; zbMATH DE number 977553
- Stochastic Petri Nets
- scientific article; zbMATH DE number 732081
- A method to abstract a stochastic Petri net.
- Stochastic Petri Nets: Modeling Power and Limit Theorems
Cited in
(20)- Three-valued abstraction for probabilistic systems
- Reachability analysis of low-order discrete state reaction networks obeying conservation laws
- Discovering stochastic process models by reduction and abstraction
- Conditions for extinction events in chemical reaction networks with discrete state spaces
- Polynomial time coverability analysis in discrete state chemical reaction network subclasses
- Performance preserving equivalence for stochastic process algebra dtsdPBC
- Polynomial time reachability analysis in discrete state chemical reaction networks obeying conservation laws
- scientific article; zbMATH DE number 1786473 (Why is no real title available?)
- On parametric steady state analysis of a generalized stochastic Petri net with a fork-join subnet
- Decidable classes of unbounded Petri nets with time and urgency
- Structured construction and simulation of nondeterministic stochastic activity networks
- Performance evaluation in stochastic process algebra dtsdPBC
- Stochastic Petri nets sensitivity to token scheduling policies
- A hybrid approach to failure analysis using stochastic Petri nets and ranking generalized fuzzy numbers
- Computing with chemical reaction networks: a tutorial
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
- Stochastic object-based graph grammars
- On probabilistic techniques for data flow analysis
- scientific article; zbMATH DE number 3905853 (Why is no real title available?)
- A computational approach to extinction events in chemical reaction networks with discrete state spaces
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4784053)
