scientific article; zbMATH DE number 1131474
From MaRDI portal
Publication:4382665
Special processes (60K99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Software, source code, etc. for problems pertaining to computer science (68-04) 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)
Recommendations
Cited in
(22)- A new stochastic Petri net model and its applications to logistics systems
- Accelerating Petri-net simulations using NVIDIA graphics processing units
- DSPNexpress
- Inductive synthesis for probabilistic programs reaches new horizons
- A case study for the application of deterministic and stochastic Petri nets in the SoC communication domain
- Modeling and analysis of operating systems using extended QN techniques and Petri nets
- Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
- scientific article; zbMATH DE number 3917674 (Why is no real title available?)
- scientific article; zbMATH DE number 4057072 (Why is no real title available?)
- An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models
- scientific article; zbMATH DE number 622470 (Why is no real title available?)
- scientific article; zbMATH DE number 980230 (Why is no real title available?)
- scientific article; zbMATH DE number 2020760 (Why is no real title available?)
- Modeling of DRAM Power Control Policies Using Deterministic and Stochastic Petri Nets
- scientific article; zbMATH DE number 2087800 (Why is no real title available?)
- scientific article; zbMATH DE number 764884 (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.
- Counterexample-driven synthesis for probabilistic program sketches
- Modeling discrete event systems with state-dependent deterministic service times
- A survey on performance evaluations in time-dependent Petri nets
- Petri net performance modeling of a modified mesh-connected parallel computer
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 Q4382665)
