Introducing probabilities in statecharts to specify reactive systems for performance analysis

DOI10.1016/j.cor.2005.02.018zbMath1111.90117OpenAlexW2140493069MaRDI QIDQ2489295

V. Abdurahiman, V. M. B. Andrade, N. L. Vijaykumar, Solon V. Carvalho

Publication date: 16 May 2006

Published in: Computers \& Operations Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cor.2005.02.018

zbMATH Keywords

Markov chain

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40)

Related Items (1)

Introducing probabilities in statecharts to specify reactive systems for performance analysis

Cites Work

• Statecharts: a visual formalism for complex systems
• On queueing network models of flexible manufacturing systems
• Petri nets for modeling of dynamic systems -- a survey
• Introducing probabilities in statecharts to specify reactive systems for performance analysis
• Numerical Methods in Markov Chain Modeling
• On Proposing Statecharts to Specify Performance Models
• Safety Stock versus Safety Time in MRP Controlled Production Systems
• Networks of Waiting Lines
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Introducing probabilities in statecharts to specify reactive systems for performance analysis