一类制造系统Petri网模型的设计方法

力图以通信顺序进程理论作为制造系统的规格说明语言，该描述语言可以自动转化生成系统的Petri网模型，从而为复杂制造系统Petri网模型自动设计理论的研究，开辟了一条新途径。