Supervisor Existence for Product Composition of Discrete Event Systems.
Chengjia LiYifan CaiXiaodong SunPublished in: FSKD (1) (2007)
Keyphrases
- discrete event systems
- petri net
- model based diagnosis
- telecommunication networks
- complex systems
- discrete event
- failure diagnosis
- timed petri nets
- web service composition
- temporal constraints
- dynamic systems
- search space
- life cycle
- simulation model
- high level
- data exchange
- sensor networks
- multi agent systems
- cooperative
- video sequences