Performance analysis of concurrent systems in algebra dtsiPBC

DOI10.1134/S0361768814050089zbMath1339.68033OpenAlexW2012979560WikidataQ114847380 ScholiaQ114847380MaRDI QIDQ300304

Valentin Valero, Igor V. Tarasyuk, Hermenegilda Macia

Publication date: 27 June 2016

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768814050089

zbMATH Keywords

Markov chainsperformance analysisstochastic Petri netsdiscrete timesemanticstransition systemsstochastic process algebrasdtsi-boxesimmediate multiactionsPetri box calculus

Mathematics Subject Classification ID

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)

Related Items

Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ Discrete time stochastic and deterministic Petri box calculus dtsdPBC ⋮ Performance evaluation in stochastic process algebra dtsdPBC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Petri net algebra
• Reactive, generative, and stratified models of probabilistic processes
• Stochastic process reduction for performance evaluation in dtsiPBC
• Introduction to Generalized Stochastic Petri Nets
• Discrete Time Stochastic Petri Nets
• A refined view of the box algebra
• A Compositional Approach to Performance Modelling
• Formal Techniques for Networked and Distributed Systems – FORTE 2004

This page was built for publication: Performance analysis of concurrent systems in algebra dtsiPBC