A Formal Design Method of Petri Net Controllers for Sequential Manufacturing Systems
串行加工系统Petri网控制器的形式化设计方法

Keywords: Petri net controller,resource vector,resource maximum Petri net,token capa city
Petri网,控制器,串行加工系统,柔性制造

Full-Text   Cite this paper   Add to My Lib

Abstract:

提出了串行加工系统控制描述规格说明的设计方法，研究了规格说明的Ｐｅｔｒｉ网语义，提出了系统Ｐｅｔｒｉ网控制器具有活性等希望性质的初始标识的确定算法，这样的Ｐｅｔｒｉ网控制编译或算法转换可直接对系统进行实时控制。

Full-Text