摘要： 通过对自动制造系统的Petri网模型的分析,可以揭示出被模拟系统的死锁跟其初始标识和其结构有关。要想消除自动制造系统的死锁异常,可以通过修改Petri网的初始标识或Petri网的结构来解决。该文结合具体示例,给出了具体的可操作算法并设计出了控制自动制造系统死锁的Petri网模型,从而为自动制造系统的异常处理提供了一条有效途径。

关键词: Petri网模型, 自动制造系统设计, 死锁, 控制规范

Abstract: Using Petri nets to analyze automatic manufacture system, the deadlock problem of automatic manufacture system related with the original mark and the structure is revealed. So the paper sets forth the method of modifying the original mark of Petri nets or of changing the structure of Petri nets to control the deadlock in automatic manufacture system's design and simulation.

中图分类号: 

• TH16