Modeling by Petri net with place invariants for sequential control systems

被引：0
|
作者：
Cai, Yigang [1 ]
Nishii, Ikuya [1 ]
Sekiguchi, Takashi [1 ]
机构：
[1] Industrial Research Inst of Kanagawa, Prefecture
来源：
Electrical Engineering in Japan (English translation of Denki Gakkai Ronbunshi) | 1995年 / 115卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：100 / 111
相关论文
共 50 条
  • [21] Colored Petri net model for significant reduction of invariants in flexible manufacturing systems
    Shaukat Ali Shah
    Erik L. J. Bohez
    Kamran Shah
    Izhar ul Haq
    Khizar Azam
    Shahzad Anwar
    The International Journal of Advanced Manufacturing Technology, 2017, 88 : 1775 - 1787
  • [22] Colored Petri net model for significant reduction of invariants in flexible manufacturing systems
    Shah, Shaukat Ali
    Bohez, Erik L. J.
    Shah, Kamran
    ul Haq, Izhar
    Azam, Khizar
    Anwar, Shahzad
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2017, 88 (5-8): : 1775 - 1787
  • [23] Automated Generation of Algebraic Invariants for Petri Net
    Bi, Zhongqin
    Shan, Meijing
    Wu, Bin
    2009 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-3, 2009, : 1493 - +
  • [24] Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach
    Zhou, MC
    Jeng, MD
    IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, 1998, 11 (03) : 333 - 357
  • [25] FLEXIBILITY IN MANUFACTURING SYSTEMS - DEFINITIONS AND PETRI NET MODELING
    BARAD, M
    SIPPER, D
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1988, 26 (02) : 237 - 248
  • [26] Hybrid Petri net modeling of inventory management systems
    Furcas, Roberto
    Giua, Alessandro
    Piccaluga, Aldo
    Seatzu, Caria
    Journal Europeen des Systemes Automatises, 2001, 35 (04): : 417 - 434
  • [27] Modeling and simulation of CONWIP systems based on petri net
    Kang, Jie
    Li, Liang
    Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University, 2009, 44 (04): : 620 - 624
  • [28] CELLULAR MANUFACTURING SYSTEMS MODELING - THE PETRI NET APPROACH
    TENG, SH
    BLACK, JT
    JOURNAL OF MANUFACTURING SYSTEMS, 1990, 9 (01) : 45 - 54
  • [29] Petri net based modeling and analysis of switched systems
    He, KX
    Lemmon, MD
    JOINT CONFERENCE ON THE SCIENCE AND TECHNOLOGY OF INTELLIGENT SYSTEMS, 1998, : 140 - 145
  • [30] Petri net modeling of buffers in automated manufacturing systems
    Zhou, MC
    DiCesare, F
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1996, 26 (01): : 157 - 164
12345