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 chains; operational semantics; performance analysis; stochastic Petri nets; transition systems; stochastic process algebras; immediate multiactions; Petri box calculus; semi-Markov chains; vanishing states

Mathematics Subject Classification ID

60J10: Markov chains (discrete-time Markov processes on discrete state spaces)

60J20: Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.)

60K15: Markov renewal processes, semi-Markov processes

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

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