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 条
  • [41] USING PLACE INVARIANTS IN PETRI NETS FOR FUNCTIONAL DIAGNOSIS
    VOLKOV, SI
    MIRONOVSKII, LA
    RESHETNIKOVA, NN
    CYBERNETICS AND SYSTEMS ANALYSIS, 1992, 28 (01) : 78 - 83
  • [42] Petri net modeling of routing and operation flexibility in production systems
    Tsinarakis, GJ
    Tsourveloudis, NC
    Valavanis, KP
    2005 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL & 13TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1 AND 2, 2005, : 352 - 357
  • [43] A Petri net synthesis theory for modeling flexible manufacturing systems
    Jeng, MD
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1997, 27 (02): : 169 - 183
  • [44] Petri net-based modeling of hybrid dynamic systems
    Gotesman, M
    LopezBenitez, N
    ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 553 - 559
  • [45] Open problems in Petri net modeling and simulation of biological systems
    Chen, Ming
    Hofestdt, Ralf
    IT-INFORMATION TECHNOLOGY, 2014, 56 (02): : 76 - 81
  • [46] Optimized method of petri net modeling and simulation for production systems
    School of Economics and Management, Beihang University, Beijing 100083, China
    Xitong Fangzhen Xuebao, 2006, SUPPL. 2 (559-562):
  • [47] A modeling language for Petri net based factory automation systems
    Nakamura, D
    Takeda, Y
    Murakoshi, H
    Funakubo, N
    Dohi, Y
    IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, 1998, : 120 - 125
  • [48] An augmented Petri net for modeling and control of assembly tasks with uncertainties
    Chung, SY
    Lee, DY
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 2721 - 2726
  • [49] Hybrid Petri net modeling of traffic flow and signal control
    Mang, Li-Guo
    Li, Zhen-Long
    Chen, Yang-Zhou
    PROCEEDINGS OF 2008 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2008, : 2304 - 2308
  • [50] Modeling and verifying discretionary access control by colored Petri net
    Tang, Yewen
    Yu, Wei
    Bai, Yingcai
    Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University, 31 (08): : 66 - 70
12345