期刊
IEEE ACCESS
卷 6, 期 -, 页码 68824-68838出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/ACCESS.2018.2872572
关键词
Automated manufacturing system; Petri net; deadlock avoidance policy
资金
- International Scientific Partnership Program ISPP at King Saud University [0079]
The deadlock control problem in automated manufacturing systems (AMSs) has received much attention in recent years due to the flexibility of an AMS. In the framework of Petri nets, resource-transition circuits and siphons are often used to characterize and derive a deadlock control policy for an AMS. This paper mainly focuses on a class of Petri nets, namely, the system of simple sequential processes with resources, which contains some special resource places. For such a class of Petri nets, the relationship between a multi-step look-ahead deadlock avoidance control method and the structure of the model is established and expanded in a mathematical way. Unlike the one-step look-ahead deadlock avoidance policy (DAP) proposed in the literature, the DAPs reported in this research are applicable to more complex situations, including a model with one-unit resource shared by two or more perfect resource-transition circuits that do not contain each other. Compared with the existing work, some results are archived for expanded models. Finally, for the model with two shared one-unit resources, specific solutions are also presented. Meanwhile, examples are used to demonstrate the proposed results.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据