A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks 论文
2005Artificial Intelligence引用 217
Petri Nets in System ModelingFormal Methods in VerificationFlexible and Reconfigurable Manufacturing Systems
详细信息
- 发表期刊/会议
- Artificial Intelligence
- 发表日期
- 2005-02-26
- 发表年份
- 2005
关键词
Petri Nets in System ModelingFormal Methods in VerificationFlexible and Reconfigurable Manufacturing Systems