Stochastic process reduction for performance evaluation in dtsiPBC

DOI10.17377/SEMI.2015.12.044MaRDI QIDQ2630609zbMATH OpenFDO

Authors I. V. Tarasyuk, Hermenegilda Macià, Valentín Valero

Publication date 28 July 2016

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL https://doi.org/10.17377/SEMI.2015.12.044

zbMATH Keywords

Markov chainsstochastic process algebrastransition systemsperformance analysisstochastic Petri netsimmediate multiactionsPetri box calculusoperational semanticssemi-Markov chainsvanishing states

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Markov renewal processes, semi-Markov processes (60K15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Performance analysis of concurrent systems in algebra dtsiPBC
• Performance evaluation in stochastic process algebra dtsdPBC
• Stochastic Petri box calculus with discrete time
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
• Modeling and analysis of the performance of parallel processes in the algebra dtsPBC

Cited in

(8)

• scientific article; zbMATH DE number 6708299 (Why is no real title available?)
• Performance preserving equivalence for stochastic process algebra dtsdPBC
• Performance analysis of concurrent systems in algebra dtsiPBC
• Equivalence relations for modular performance evaluation in dtsPBC
• Performance evaluation of the generalized shared memory system in dtsPBC
• Performance evaluation in stochastic process algebra dtsdPBC
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC

This page was built for publication: Stochastic process reduction for performance evaluation in dtsiPBC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2630609)