Petri net construction and analysis of automated sequential manufacturing systems

被引：0
|
作者：
Jehng, WK [1 ]
Peng, SS [1 ]
Zhou, MC [1 ]
机构：
[1] Natl Kaohsiung Univ Appl Sci, Dept Ind Engn & Management, Kaohsiung 807, Taiwan
来源：
2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE | 2002年
关键词：
stochastic Petri Nets (SPN); Markov process; and automated manufacturing systems (AMS);
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper develops and evaluates an automated process sequential manufacturing system using stochastic Petri nets (SPN) theory. The proposed Petri net-based graphic model is used to generate a reachability tree. The tree is, in turn, converted to a state table representation of a Markov process model to investigate the model for liveness, boundedness, reversibility, and performance. Other important characteristics of a dynamic system, such as conflict, blocking, and deadlock can also be examined. Different configurations of an automated system are studied by SPN models to design an improved system.
引用
收藏
页码：2469 / 2474
页数：6
相关论文
共 50 条
  • [1] On Petri net Modeling of automated manufacturing systems
    Wu, Naiqi
    Zhou, MengChu
    Hu, Gang
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING, AND CONTROL, VOLS 1 AND 2, 2007, : 228 - +
  • [2] Petri net modeling of buffers in automated manufacturing systems
    Zhou, MC
    DiCesare, F
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1996, 26 (01): : 157 - 164
  • [3] Petri net models of flexible and automated manufacturing systems: A survey
    Moore, KE
    Gupta, SM
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1996, 34 (11) : 3001 - 3035
  • [4] Petri net extensions for the development of MIMO net models of automated manufacturing systems
    Ramaswamy, S
    Valavanis, KP
    Barber, S
    [J]. JOURNAL OF MANUFACTURING SYSTEMS, 1997, 16 (03) : 175 - 191
  • [5] STOCHASTIC PETRI NET MODELS FOR PERFORMANCE EVALUATION OF AUTOMATED MANUFACTURING SYSTEMS
    VISWANADHAM, N
    NARAHARI, Y
    [J]. INFORMATION AND DECISION TECHNOLOGIES, 1988, 14 (02): : 125 - 142
  • [6] Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems
    Xing K.
    Tian F.
    Yang X.
    [J]. Journal of Control Theory and Applications, 2007, 5 (2): : 152 - 158
  • [7] Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems
    Keyi XING
    Xi’an Institute of Electromechanical Information Technology
    [J]. Control Theory and Technology, 2007, (02) : 152 - 158
  • [8] PETRI NET CONTROL OF AN AUTOMATED MANUFACTURING CELL
    BOUCHER, TO
    JAFARI, MA
    MEREDITH, GA
    [J]. COMPUTERS & INDUSTRIAL ENGINEERING, 1989, 17 : 459 - 463
  • [9] Generalizing parallel and sequential mutual exclusions for Petri net synthesis of manufacturing systems
    Zhou, MC
    [J]. ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 49 - 55
  • [10] ADAPTIVE DESIGN OF PETRI NET CONTROLLERS FOR ERROR RECOVERY IN AUTOMATED MANUFACTURING SYSTEMS
    ZHOU, MC
    DICESARE, F
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1989, 19 (05): : 963 - 973
12345