Petri Nets based Production System Model Simplification

被引:1
|
作者
Wang, Zhijian [1 ,2 ]
Hu, Yuping [2 ]
Zhang, Jun [1 ]
机构
[1] Guangdong Univ Business Studies, Informat Sci Sch, Guangzhou, Guangdong, Peoples R China
[2] Guangdong Univ Business Studies, Guangdong Key Lab Elect Commerce, Guangzhou, Guangdong, Peoples R China
关键词
D O I
10.5755/j01.eee.123.7.2388
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Zhijian Wang, Yuping Hu, Jun Zhang. Petri Nets based Production System Model Simplification // Electronics and Electrical Engineering. - Kaunas: Technologija, 2012. - No. 7(123). - P. 113-118. Petri nets own graphical description ability based on solid mathematical foundation, this makes it a possible tool for analyzing complex system such as manufacturing system, but using Petri nets directly in large scale system will lead to state explosion. A Generalized Stochastic Petri Nets model of a repairable manufacturing cell is setup. As the first step to solve system state explosion problem, this 4 transitions model is transformed into a model with only one transition. Serial processing systems and parallel systems composed by such cells are transformed on the basis of cell model transformation, and such transformations are compared with those in other researches. The method presented in this paper helps to simplify system model and decrease system state space, and thus makes it feasible to use Petri nets in complex systems. III. 8, bibl. 12 (in English; abstracts in English and Lithuanian).
引用
收藏
页码:113 / 118
页数:6
相关论文
共 50 条
  • [41] Performance equivalent simplification of sequent and parallel transitions in stochastic Petri nets
    Tian, Li-Qin
    Lin, Chuang
    Zhou, Wen-Jiang
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2002, 30 (08): : 1134 - 1137
  • [42] COMPLEXITIES OF DECISION PROBLEMS FOR EQUIVALENCE AND SIMPLIFICATION OF SAFE PETRI NETS.
    Matsuura, Toshio
    Sugiyama, Yuji
    Taniguchi, Kenichi
    Kasami, Tadao
    Systems, computers, controls, 1980, 11 (03): : 75 - 82
  • [43] Model Simplification in Petri Net Models
    Davidrajuh, Reggie
    UKSIM FIFTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2011), 2011, : 162 - 167
  • [44] Use of Petri nets to model the MPPT converter of a photovoltaic system
    Tafticht, T
    Atif, K
    Agbossou, K
    CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY, 2003, : 543 - 546
  • [45] Model Checking of ω-Independent Unbounded Petri Nets for an Unbounded System
    Wang, Shuo
    Yang, Ru
    Yu, Wangyang
    Ding, Zhijun
    Jiang, Changjun
    IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2024,
  • [46] Transforming Time Petri Nets into Heterogeneous Petri Nets for Hybrid System Monitoring
    Hatte, Leonie
    Ribot, Pauline
    Chanthery, Elodie
    IFAC PAPERSONLINE, 2024, 58 (04): : 646 - 651
  • [47] Production Process Optimization in Flexible Manufacturing System Using Petri Nets
    Tashnizi, E. Shanifi
    Farahani, S. N.
    Nahrekhalaji, A. R. Fazeli
    WCECS 2008: WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, 2008, : 694 - 698
  • [48] Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets
    Hsieh, FS
    AUTOMATICA, 2004, 40 (01) : 51 - 57
  • [49] Design of a FMS teching system controller based on Petri nets
    Liu, Hong
    Li, Zhiwu
    Ye, Shanghui
    Jixie Kexue Yu Jishu/Mechanical Science and Technology, 1996, 15 (06):
  • [50] Hybrid modeling of control system based on hybrid Petri nets
    Dong Ling-xun
    Dou Li-hua
    Yang Hong-ju
    Liu Hang
    2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7, 2007, : 254 - 258