Computer Science ›› 2013, Vol. 40 ›› Issue (11): 299-303.

Previous Articles     Next Articles

Dynamic Behavior Evolution for First-order Hybrid Petri Nets Based on Conflict Checking

LIAO Wei-zhi,LI Wen-jing and LU Jian-bo   

  • Online:2018-11-16 Published:2018-11-16

Abstract: The problem of dynamic behavior evolution for a First-Order Hybrid Petri Nets(FOHPN) was discussed.The theorem to determine the conflict of a FOHPN was proposed firstly.Secondly,a dynamic behavior evolution for FOHPN based on conflict checking and resolution was presented.Finally,through case study,the effectiveness of the developed approach was illustrated.

Key words: First-order hybrid petri nets,Conflict checking,Dynamic behavior evolution,Conflict resolution

[1] 廖伟志.混杂生产过程的混杂Petri网建模及分析技术研究[D].西安:西安电子科技大学,2007
[2] Balduzzi F,Giua A,Menga G.First-Order Hybrid Petri Nets:a Model for Optimization and Control[J].IEEE Transactions on Robotics and Automation,2000,16(14):382-399
[3] Balduzzi F,Febbraro D.A Combining Fault Detection andProcess Optimization in Manufacturing Systems Using First-Order Hybrid Petri Nets[C]∥IEEE International Conference on Robotics and Automation.2001:40-45
[4] Lucas R F,Giua A,Piccaluga A.Modeling Production Systems with Inventory Using Hybrid Petri Nets [C]∥IEEE International Conference on Control Applications.2001:434-440
[5] Giua A,Pilloni M T,Seatzu C.Modelling and Simulation of a Bottling Plant Using Hybrid Petri Nets[J].International Journal of Production Research,2005,3(7):1375-1395
[6] Dotoli M,Fanti M P,Iacobellis G.An Urban Traffic Network Model by First Order Hybrid Petri nets[C]∥IEEE Internatio-nal Conference on Systems,Man and Cybernetics.2008:1929-1934
[7] Dotoli M,Fanti M P.Fault Monitoring of Discrete Event Sys-tems by First Order Hybrid Petri Nets.http://dee.poliba.it/labcontrolli/file_pdf/WPNM.pdf
[8] Dotoli M,Fanti M P.A First-Order Hybrid Petri Net Model for Supply Chain Management[J].IEEE Transactions on Automation Science and Engineering,2009,6(4):744-758
[9] Dotoli M Fanti.A Freeway Traffic Control Model by First Order Hybrid Petri Nets[C]∥IEEE Conference on Automation Science and Engineering.2011:425-431
[10] 周航,黄志球,胡军,等.基于Time Petri Nets的实时系统资源冲突检测[J].计算机研究与发展,2009,6(9):1578-1585
[11] David R,All H.Discrete,Continuous and Hybrid Petri Nets[M].Scientific Publishing Services Pvt.Ltd.,2009
[12] 廖伟志,古天龙.区间速率连续Petri 网的有效冲突及其消解[J].计算机科学,2006,3(10):221-224

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!