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 条
  • [31] Petri net modeling of buffers in automated manufacturing systems
    New Jersey Inst of Technology, Newark, United States
    IEEE Trans Syst Man Cybern Part B Cybern, 1 (157-164):
  • [32] Sequential Petri Nets and the Modeling of Multithreading Programming Systems
    Martinik, Ivo
    STRATEGIC MANAGEMENT AND ITS SUPPORT BY INFORMATION SYSTEMS, 9TH INTERNATIONAL CONFERENCE, 2011, : 77 - 94
  • [33] Formal design method of Petri net controllers for sequential manufacturing systems
    Xidian Univ, Xi'an, China
    Zidonghua Xuebao, 2 (213-219):
  • [34] Formal design method of Petri net controllers for sequential manufacturing systems
    Zidonghua Xuebao/Acta Automatica Sinica, 1997, 23 (02): : 213 - 219
  • [35] Petri net models applied to analyze automatic sequential pressing systems
    Jehng, WK
    JOURNAL OF MATERIALS PROCESSING TECHNOLOGY, 2002, 120 (1-3) : 115 - 125
  • [36] Extended Time Petri Net and Hybrid Petri Net : Modeling Multi-Instance Dynamic Hybrid Systems
    El Touati, Yamen
    Ayari, Mohamed
    Altowaijri, Saleh
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2018, 18 (05): : 75 - 83
  • [37] Two efficient methods for computing petri net invariants
    Takano, K
    Taoka, S
    Yamauchi, M
    Watanabe, T
    2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 2717 - 2722
  • [38] A Survey of Petri Nets Supervision Based on Place Invariants
    Wang, Shouguang
    Yu, Junwen
    Zhao, Liangxu
    PROCEEDINGS OF ANNUAL CONFERENCE OF CHINA INSTITUTE OF COMMUNICATIONS, 2010, : 189 - 193
  • [39] PETRI-NET EXTENSIONS FOR MODELING AND VALIDATING MANUFACTURING SYSTEMS
    CHOI, BW
    KUO, W
    JACKMAN, JK
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1994, 32 (08) : 1819 - 1835
  • [40] Using Petri net invariants in state space construction
    Schmidt, K
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 473 - 488
12345