Stochastic process reduction for performance evaluation in dtsiPBC

DOI10.17377/SEMI.2015.12.044zbMath1346.60118MaRDI QIDQ2630609

Igor V. Tarasyuk, Valentin Valero, Hermenegilda Macia

Publication date: 28 July 2016

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

Markov chainsoperational semanticsperformance analysisstochastic Petri netstransition systemsstochastic process algebrasimmediate multiactionsPetri box calculussemi-Markov chainsvanishing states

Mathematics Subject Classification ID

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

Related Items (3)

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

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