实时并发离散事件系统的监控

被引:2
作者
王丽亚
吴智铭
不详
机构
[1] 上海交通大学自控系
关键词
实时离散事件系统,受控赋时Petri网,并发事件,语言,监控;
D O I
暂无
中图分类号
TP271.8 [];
学科分类号
摘要
用受控赋时Petri网为具有并发事件的实时离散事件系统建模,并研究了这类模型下的监控问题,给出了实现给定并发事件语言的监控器存在的充要条件和一种动态监控方法.
引用
收藏
页数:5
相关论文
empty
未找到相关数据