摘要
通过对自动制造系统的Petri网模型的分析,可以揭示出被模拟系统的死锁跟其初始标识和其结构有关。要想消除自动制造系统的死锁异常,可以通过修改Petri网的初始标识或Petri网的结构来解决。该文结合具体示例,给出了具体的可操作算法并设计出了控制自动制造系统死锁的Petri网模型,从而为自动制造系统的异常处理提供了一条有效途径。
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.
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第4期192-194,共3页
Computer Engineering
基金
湖南省自然科学基金资助项目(01JJY2061)
湖南省教育厅科研基金资助项目(01C306)
关键词
PETRI网模型
自动制造系统设计
死锁
控制规范
Petri nets model
Automatic manufacture system's design
Deadlock
Control criterion