自动制造系统的一种死锁避免策略

摘要/Abstract

摘要： 基于Petri网的结构分析理论，提出了自动制造系统Petri网模型的一种死锁控制方法。在这种策略的控制下，避免了系统中死锁的产生，从而使许多制造系统的Petri网模型具有活性。提出了一种保证所有严格极小信标至少含有一个托肯的方法。对冗余严格极小信标的研究，提高了Petri网复杂自动制造系统的建模能力。结果表明，在设计无死锁的Petri网模型时，不是所有的严格极小信标都要考虑，从而简化了设计结果和控制算法。

关键词: Petri网, 自动制造系统, 结构分析, 死锁避免

Abstract: A deadlock avoidance strategy for automated manufacturing systems was discussed， which was based on Petri nets and their structural analysis. The deadlock can be avoided under the supervisory control of this strategy and the liveness can be guaranteed for the nets of most automated manufacturing systems. An approach was also proposed to make that every strict minimal siphon has at least one token. The investigation of redundant strict minimal siphons made Petri nets more powerful in modeling complex automated manufacturing systems. The results obtained show that not all of the strict minimal siphons need to consider when one designs deadlock-free Petri net models， and hence the design results and control algorithms are simplified.

Key words: Petri net, automated manufacturingsystems, structural analysis

中图分类号:

TH165
TH166

李志武，贾建援. 自动制造系统的一种死锁避免策略[J]. .

LI Zhi-wu，JIA Jian-yuan. A Deadlock Avoidance Strategy in Automated Manufacturing Systems[J]. .

参考文献

[1]EZPELETA J， MARTINEZ J. Synthesis of live models for a class of FMSs[A]. Proceedings of the IEEE International Conference on Robotics and Automation[C]. Atlanta：IEEE Press，1993.557-563

[2]ZHOU M C，DICESARE F. Parallel and sequential mutual exclusion for Petri net modeling of manufacturing systems with shared resources[J].IEEE Trans. on Robotics and Automation， 1991， 7(4)： 515-527.

[3]BANANSZAK K，et al. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows[J]. IEEE Trans. on Robotics and Automation， 1990， 6(6)： 724-734.

[4]EZPELETA J，MARTINEZ J. A Petri net based deadlock prevention policy for flexible manufacturing systems[J]. IEEE Trans. on Robotics and Automation， 1995， 11(2)： 173-184.

[5]IORDACHE M V， et al. A method for deadlock prevention in discrete event systems using Petri nets[R]. University of Notre Dame， U.S.A.， 1998.

[6]ZHOU M C，et al.Petri net synthesis for discrete event control of manufacturing systems[M]. New Jersey：Kluwer Academic Publishers，1993.

[7]VISVANADHAM N， NARAHARY Y， et al. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models[J]. IEEE Trans. on Robotics and Automation， 1990， 6(6)： 713-723.

[8]WYSK R A， YANG N， et al.Detection of deadlocks in flexible manufacturing systems[J]. IEEE Trans. on Robotics and Automation， 1991，7(1)： 853-889.

[9]MURATA T. Petri Nets： Property， analysis， and applications[J]. IEEE Proceedings， IEEE，1989，77（4）：41-80.

[10]DESROCHERS A A， et al. Application of Petri nets in manufacturing systems： modeling， control， and performance Analysis[M]. New Jersey： IEEE Press，1995.

[11]SREEVINAS R S. On the existence of supervisory policies that enforce liveness in discrete event dynamic systems modeled by controlled Petri nets[J].IEEE Trans. On Automatic Control， 1996， 42(7)： 928-945.

[1]	鲁法明,崔明浩,包云霞,曾庆田,段华. 基于程序运行轨迹Petri网模型挖掘的死锁检测方法[J]. 计算机集成制造系统, 2021, 27(9): 2611-2624.
[2]	王丽丽,方贤文. 基于行为距离的带隐变迁过程模型挖掘方法[J]. 计算机集成制造系统, 2021, 27(9): 2670-2679.
[3]	张海军,闫琼,张国辉,李庆宇,余杰. 基于数字孪生的制造资源动态优选决策[J]. 计算机集成制造系统, 2021, 27(2): 521-535.
[4]	李文川,高思源,章鑫,冯良清. 基于随机Petri网的企业RFID技术采纳内化建模与仿真[J]. 计算机集成制造系统, 2020, 26(第2): 470-480.
[5]	何彦,陈文奇,王禹林,岳冠楠,李育锋,田小成. 集成设计参数和制造参数的车削工件机加工能耗预测方法[J]. 计算机集成制造系统, 2020, 26(9): 2355-2366.
[6]	张立彬,吕焕培,胥芳,谭大鹏,陈教料,林琼. 面向低压电器的CPN协同装配任务建模与优化[J]. 计算机集成制造系统, 2020, 26(7): 1737-1748.
[7]	刘聪,程龙,曾庆田,闻立杰,欧阳春. 基于Petri网的分层业务过程挖掘方法[J]. 计算机集成制造系统, 2020, 26(6): 1525-1537.
[8]	黄苾,代飞,王亚博,莫启,曹涌,王雷光. 基于Petri网分析编排的可实现性[J]. 计算机集成制造系统, 2020, 26(6): 1548-1556.
[9]	韩咚,田银花,杜玉越,张琴. 基于Petri网可达图的业务对齐方法[J]. 计算机集成制造系统, 2020, 26(6): 1589-1606.
[10]	郝惠晶,方贤文,方娜,许健. 基于Petri网的业务流程低频行为挖掘与优化分析[J]. 计算机集成制造系统, 2020, 26(6): 1660-1667.
[11]	田银花,杜玉越,韩咚,刘伟. 基于Petri网的事件日志与过程模型对齐方法[J]. 计算机集成制造系统, 2019, 25(第4): 809-829.
[12]	王颖,周晓宇,王钊,张学馨,陈丽娇. 基于Artifact生命周期的业务流程一致性检查[J]. 计算机集成制造系统, 2019, 25(第4): 856-863.
[13]	滕苑秀,杜玉越,王路. 循环并发结构的过程模型修正方法[J]. 计算机集成制造系统, 2019, 25(第4): 882-893.
[14]	方欢,段瑞,詹悦. 基于后继关系的行为块过程挖掘方法[J]. 计算机集成制造系统, 2019, 25(第4): 901-908.
[15]	陈文冲,刘洪伟,齐二石,刘伟. 离散串联生产系统物理与信息过程匹配机理[J]. 计算机集成制造系统, 2019, 25(第11): 2923-2934.