实时并发离散事件系统的监控
来源期刊:控制与决策1995年第1期
论文作者:王丽亚 吴智铭
关键词:实时离散事件系统;受控赋时Petri网;并发事件;语言;监控;
摘 要:用受控赋时Petri网为具有并发事件的实时离散事件系统建模,并研究了这类模型下的监控问题,给出了实现给定并发事件语言的监控器存在的充要条件和一种动态监控方法.
王丽亚,吴智铭
上海交通大学自控系
摘 要:用受控赋时Petri网为具有并发事件的实时离散事件系统建模,并研究了这类模型下的监控问题,给出了实现给定并发事件语言的监控器存在的充要条件和一种动态监控方法.
关键词:实时离散事件系统;受控赋时Petri网;并发事件;语言;监控;