scientific article; zbMATH DE number 978523

MaRDI QIDQ4332703zbMATH OpenFDO

Authors Abd-El-Kader Sahraoui

Publication date 13 February 1997

zbMATH Keywords

Petri netsreactive automatic systems

Mathematics Subject Classification ID

Stochastic network models in operations research (90B15) Production models (90B30)

Recommendations

• Statecharts: a visual formalism for complex systems
• Introducing probabilities in statecharts to specify reactive systems for performance analysis
• scientific article; zbMATH DE number 3930354
• scientific article; zbMATH DE number 1487736
• Introduction to design choices in the semantics of Statecharts

Cited in

(1)

• Modeling data-intensive reactive systems with relational transition systems

This page was built for publication:

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