Modeling and quantitative analysis of discrete event systems: A statecharts based approach.
Pablo GruerAbder KoukamBelhassen MazighPublished in: Simul. Pract. Theory (1998)
Keyphrases
- quantitative analysis
- discrete event systems
- qualitative analysis
- petri net
- qualitative and quantitative analysis
- qualitative evaluation
- complex systems
- telecommunication networks
- sequence diagrams
- model based diagnosis
- reactive systems
- failure diagnosis
- timed petri nets
- computational complexity
- np hard
- np complete