串行加工系统Petri网控制器的形式化设计方法

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