scientific article; zbMATH DE number 1461224
From MaRDI portal
Publication:4485810
Inference from stochastic processes (62M99) Research exposition (monographs, survey articles) pertaining to computer science (68-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 information and communication theory (94-02)
Recommendations
Cited in
(28)- Stochastic and deterministic performance evaluation of automotive CAN communication
- An approach for analyzing the reliability of industrial system using fuzzy Kolmogorov's differential equations
- Categorical foundations for randomly timed automata
- On-the-fly verification and optimization of DTA-properties for large Markov chains
- A case study for the application of deterministic and stochastic Petri nets in the SoC communication domain
- Analysis of \(GI^{X}/ M(n)// N\) systems with stochastic customer acceptance policy
- Model checking expected time and expected reward formulae with random time bounds
- scientific article; zbMATH DE number 1629920 (Why is no real title available?)
- Modelling retrial-upon-conflict systems with product-form stochastic Petri nets
- A net level performance analysis of stochastic Petri nets
- Analysis of competition in resources based on the stochastic Petri net
- Modelling and analysis of a semaphore system by an extended stochastic Petri net
- Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets
- Road Traffic Models Using Petri Nets and Minplus Algebra
- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments
- Performance modeling in comparison of switch network and bluetooth technology by using Markov algorithm and queueing Petri nets with the security of steganography
- scientific article; zbMATH DE number 1086992 (Why is no real title available?)
- scientific article; zbMATH DE number 778417 (Why is no real title available?)
- Revisiting the matrix-free solution of Markov regenerative processes.
- Stochastic Petri nets for wireless networks
- Stochastic Discrete Event Systems
- Approximating Matrix-Exponential Distributions by Global Randomization
- scientific article; zbMATH DE number 2248411 (Why is no real title available?)
- Integrating simulation and numerical analysis in the evaluation of generalized stochastic Petri nets
- Mean-payoff optimization in continuous-time Markov chains with parametric alarms
- Reliability assessment of a non Markovian \(k\)-out-of-\((\mathfrak{a}+\mathfrak{b}+\mathfrak{c}):G\) system with preventive maintenance and unreliable repairer using Markov regenerative stochastic Petri nets
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA
- Performability assessment by model checking of Markov reward models
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 Q4485810)
