期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

制造系统Petri网特殊标识求解算法 被引量：5

Computation of special markings of Petri nets of manufacturing systems
下载PDF
导出
摘要 基于整数规划提出了一种在Petri网部分可达图范围内求解危险标识的算法.该算法首先从死标识的定义出发,结合结构不变式(P-不变式),求出Petri网的所有死标识;再利用状态方程,推算出到达这些死锁标识的坏标识及危险标识(如果Petri网不含有这些特殊标识,则输出结果为空集);最后,用一个制造系统的Petri网对该算法进行仿真.仿真结果表明,使用该算法求解网的特殊标识(死标识和危险标识),是通过求解部分可达标识实现的.该算法有效减小了算法的搜索空间,避免了Petri网的状态空间爆炸问题. This paper proposes a method to find the set of dangerous markings of Petri nets based on integer programming by computing a partial set of reachability markings. The proposed method can be used to find all deadlock markings by employing the definition of deadlock markings and the structure information （P-invariant） on Petri nets. Then the state equation is used to derive the sets of bad and dangerous markings. Finally, using the Petri net model of a manufacturing system, we verify the computation of special markings（such as deadlock markings and dangerous markings）. Experimental results show that the special markings can be computed by obtaining the partial reachability graph, which reduces state the space explosion problem.
作者 王祺 王安荣 蒲绪强
机构地区 西安电子科技大学机电工程学院
出处 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2013年第6期85-91,共7页 Journal of Xidian University
基金 国家自然科学基金资助项目(61074035) 教育部高等学校博士点基金资助项目(20090203110009)
关键词 整数规划 PETRI网 危险状态 死锁控制 integer programming Petri nets dangerous markings deadlock control
分类号 TP393 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献10

  • 1EzpeletaJ, ColomJ M, MartinezJ. A Petri Net Based Deadlock Prvention Policy for Flexible Manufacturing Systems OJ. IEEE Transcations on Robotics and Automation, 1995, 11(2): 173-184.
  • 2陈玉峰,李志武.安全Petri网事件分离状态的BDD算法[J].西安电子科技大学学报,2010,37(1):119-124. 被引量：6
  • 3Zhu Rongming. Deadlock Prvention Approach for Flexible Manufacturing Systems with Uncontrollable Transitions in Their Petri Net Models OJ. AsianJournal of Control, 2012, 14(1): 217-229.
  • 4Daniel Y C. A New Optimal Control Policy for a Well-known S' PR (Systems of Simple Sequential Processes with Resources)[J]. InternationalJournal of Production Research, 2012, 50(22): 6259-6271.
  • 5WU Naiqi, Zhou Mengchu, Hu Gang. One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets OJ. ACM Transactions on Embedded Computing Systems(TECS)' 2013, 12(10): 1-23.
  • 6Chen Yufeng, Li Gaiyun. Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams DJ. ACM Transactions on Embedded Computing Systems(TECS), 2013, 12(3): 1-15.
  • 7Hu Hesuan, Zhou Mengchu, Li Zhiwu, et al. Deadlock-free Control of Automated Manufacturing Systems with Flexible Routes and Assembly Operations Using Petri Nets OJ. IEEE Transactions on Industrial Informatics, 2013, 9(1): 109- 121.
  • 8Ghaffari A, Rezg N, Xie X L. Design of a Live and Maximally Permissive Petri Net Controller Using the Theory of Regions DJ. IEEE Transcations on Robotics and Automation, 2003, 19(1): 137-142.
  • 9Chen Yufeng, Li Zhiwu. Design of a Maximally Permissive Liveness-enforcing Supervisor with a Compressed Supervisory Structure for Flexible Manufacturing Systems[J]. IEEE Transcations on Automation and Engineering, 2011, 8(2): 374-393.
  • 10Li Zhiwu, Zhou Mengchu. Deadlock Resolution in Automated Manufacturing Systems: a Novel Petri Net Approach[MJ. London: Springer Verlag, 2009.

二级参考文献12

  • 1Ezpeleta J, Colom J M, 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.
  • 2Li Zhiwu, Zhou Mengchu. Elementary Siphons of Petri Nets and Their Application to Deadlock Prevention in Flexible Manufacturing Systems[J]. IEEE Trans on Systems, Man, and Cybernetics, Part A, 2004, 34(1) : 38-51.
  • 3Li Zhiwu, Zhou Mengchu. Clarifications on the Definitions of Elementary Siphons of Petri Nets[J]. IEEE Trans on Systems, Man, and Cybernetics, Part A, 2006, 36(6): 1227-1229.
  • 4Li Zhiwu, Hu Hesuan, Wang Anrong. Design of Liveness-enforcing Supervisors for Flexible Manufacturing Systems Using Petri nets[J]. IEEE Trans on Systems, Man, and Cybernetics, Part C, 2007, 37(4) : 517-526.
  • 5Li Zhiwu, Zhou Mengchu. Two-stage Method for Synthesizing Liveness-enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets[J]. IEEE Trans on Industrial Informatics, 2006, 2(4) : 313-325.
  • 6Ghaffari A, Rezg N, Xie X L. Design of a Live and Maximally Permissive Petri Net Controller Using the Theory of Regions[J]. IEEE Trans on Robotics and Automation, 2003, 19(1) : 137-142.
  • 7Pastor E, Cortadella J, Roig O, et al. Petri Net Analysis Using Boolean Manipulation[C]//Lecture Notes in Computer Science: 815. London: Springer-Verlag, 1994: 416-435.
  • 8Pastor E, Cortadella J. Symbolic Analysis of Bounded Petri Nets [J]. IEEE Trans on Computers, ?.001, 50 (5), 432-448.
  • 9Miner A S, Ciardo G. Efficient Reachability Set Generation and Storage Using Decision Diagrams[C]//Lecture Notes in Computer Science: 1639. London: Springer-Verlag, 1999: 6-25.
  • 10Andersen H R. An Introduction to Binary Decision Diagrams[R]. Denmark: Advanced Algorithms E97, Department of Information Technology, Technical University of Denmark, 1997.

共引文献5

同被引文献52

  • 1Thiagarajan P S.Elementary Net Systems [C]//Lecture Notes in Computer Science:254.Berlin:Springer-Verlag,1987:26-59.
  • 2Reisig W.Understanding Petri nets:Modeling Techniques,Analysis Methods,Case Studies [M].Berlin:Springer-Verlag,2013.
  • 3Haar S.Clusters,Confusion and Unfoldings [J].Fundamenta Informaticae,2001,47(3):259-270.
  • 4Katoen J P.GSPNs Revisited:Simple Semantics and New Analysis Algorithms [C]//Proceedings of the International Conference on Application of Concurrency to System Design.Piscataway:IEEE,2012:6-11.
  • 5Aalst W,Hee K.Workflow Management:Models,Methods,and Systems [M].Massachusetts:MIT Press,2004.
  • 6Bolton C.Capturing Conflict and Confusion in CSP [C]//Lecture Notes in Computer Science:4591.Berlin:Springer-Verlag,2007:413-438.
  • 7Zhao Mingfeng,Zhou Yajian,Yang Yixian,et al.A New Method to Detect Useless Service Failure Model in SPN [J].Journal of Convergence Information Technology,2010,5(3):129-134.
  • 8Chen Xiaoliang,Li Zhiwu,Al-Ahmari A M,et al.Confusion Diagnosis and Control of Discrete Event System Using Synchronized Petri Nets [J].Asian Journal of Control,2013,15(6):1736-1751.
  • 9Li Zhiwu,Zhou Mengchu.Deadlock Resolution in Automated Manufacturing Systems:a Novel Petri Net Approach [M].Heidelberg:Springer-Verlag,2009.
  • 10Giua A,DiCesare F,Silva M.Generalized Mutual Exclusion Constraints on Nets with Uncontrollable Transitions [C]//Proceedings of IEEE International Conference on Systems,Man and Cybernetics.Piscataway:IEEE,1992:974-979.

引证文献5

二级引证文献15

西安电子科技大学学报
2013年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部