Introducing probabilities in statecharts to specify reactive systems for performance analysis
From MaRDI portal
Publication:2489295
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
Related Items (1)
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