论文部分内容阅读
Ｐｅｔｒｉ网控制器自动设计及控制程序自动生成方法的研究是自动制造系统ＡＭＳｓ和柔性制造系统ＦＭＳｓ领域研究的热点问题之一〔２～６〕。本文以ＡＭＳｓ计划和调度产生的生产序列ＰＳ和资源需求序列ＲＲＳ为基础，为顺序共资源ＡＭＳｓ设计了一种规格说明语言，以自动生成ＡＭＳｓＰｅｔｒｉ网模型的矩阵形式，并给出了转换步骤。由于引入了资源状态反馈，故生成的Ｐｅｔｒｉ网模型是无死锁的。最后，用一个实例说明了设计过程。
Petri net controller automatic design and control program automatic generation method research is automatic manufacturing system AMSs and flexible manufacturing system FMSs one of the hot issues (2 ~ 6). Based on the production sequence PS and the resource demand sequence RRS generated by AMSs scheduling and scheduling, this paper designs a specification language for sequential AMSs to automatically generate the matrix form of AMSsPetri net model and gives the conversion steps. Due to the introduction of resource state feedback, the generated Petri net model is deadlock-free. Finally, an example illustrates the design process.