摘要
提出了串行加工系统控制描述规格说明的设计方法，研究了规格说明的Ｐｅｔｒｉ网语义．提出了系统Ｐｅｔｒｉ网控制器具有活性等希望性质的初始标识的确定算法．
The design method of specifications of the control description for sequential manufacturing systems is presented. The Petri net semantics of the specifications is discussed. The design algorithm has been developed for the initial markings such that the Petri net controlleer has the properties such as liverness, boundedness or safeness, and reversibility. Using the Petri net controller with the desired properties, the real time control for a practical manufacturing system can be brought into force.
出处
《自动化学报》
EI
CSCD
北大核心
1997年第2期213-219,共7页
Acta Automatica Sinica
基金
国家自然科学基金
关键词
PETRI网
控制器
串行加工系统
柔性制造
Petri net controller, resource vector, resource maximum Petri net, token capa city.
