摘要
本文用受控Ｐｅｔｒｉ网为具有并发事件的离散事件系统建模。研究了该模型下的离散事件系统的禁止并发事件串的控制问题．利用合法语言及合法语言的最大可控子语言来规范监控器，并提出了一种动态监控的方法．
This paper introduces a contolled Petri net for modeling the concurrent discrete event system.The control problem of fobidden concurrent event strings of discrete event system is studied. The supervisor specification for a discrete event system in terms of a legal Language and its supreme controllable sublanguage is discussed. And a dynamical supervisor is proposed.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
1994年第6期122-127,共6页
Journal of Shanghai Jiaotong University
关键词
离散事件系统
并发事件
语言
动态监控
discrete event system,concurrent event,language,dynamic supervision
