Performance analysis of concurrent systems in algebra dtsiPBC

DOI10.1134/S0361768814050089zbMath1339.68033WikidataQ114847380 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)

zbMATH Keywords

Markov chains; performance analysis; stochastic Petri nets; discrete time; semantics; transition systems; stochastic process algebras; dtsi-boxes; immediate multiactions; Petri box calculus

Mathematics Subject Classification ID

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.)

Related Items

Discrete time stochastic and deterministic Petri box calculus dtsdPBC, Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC

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