On Diagnosis of Violations of Constraints in Petri Net Models of Discrete Event Systems.
Behzad BordbarAhmed Al-AjeliMohammed Ibrahim AlodibPublished in: ICTAI (2014)
Keyphrases
- discrete event systems
- petri net
- complex systems
- stochastic petri net
- failure diagnosis
- model based diagnosis
- timed petri nets
- petri net model
- process model
- colored petri nets
- telecommunication networks
- fuzzy petri net
- service composition
- reactive systems
- dynamic systems
- concurrent systems
- discrete event
- ims ld
- temporal constraints
- story generation
- constraint programming
- knowledge based systems