On Proposing Statecharts to Specify Performance Models

DOI10.1111/1475-3995.00358MaRDI QIDQ4550039zbMATH OpenOpenAlexFDO

Authors N. L. Vijaykumar, Solon V. de Carvalho, V. Abdurahiman

Publication date 28 August 2002

Published in International Transactions in Operational Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/1475-3995.00358

zbMATH Keywords

Markov chainperformance modelsreactive systemsspecificationstatecharts

Mathematics Subject Classification ID

Production models (90B30) Markov and semi-Markov decision processes (90C40)

Recommendations

• Introducing probabilities in statecharts to specify reactive systems for performance analysis
• Statecharts: a visual formalism for complex systems
• scientific article; zbMATH DE number 1890701
• Modeling and quantitative analysis of discrete event systems: A statecharts based approach
• Statecharts to specify the control of automated manufacturing systems

Cited in

(1)

• Introducing probabilities in statecharts to specify reactive systems for performance analysis

This page was built for publication: On Proposing Statecharts to Specify Performance Models

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