Modular modeling using Petri nets

被引：0
|
作者：
Wang, LM
Xie, XL
机构：
来源：
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION | 1996年 / 12卷 / 05期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we introduce a class of Petri nets with input and output transitions called Extended Controllable-Output nets or ECO nets for short, These nets are live and reversible, By appropriate control, it is possible to realize the output transitions in any given ratio while keeping the marking bounded, These properties are highly needed from a manufacturing point of view, Furthermore, we show that the integration of such Petri nets preserves these properties under some fairly weak conditions as the integrated model is also an ECO net.
引用
下载
收藏
页码：800 / 809
页数：10
相关论文
共 50 条
  • [41] The Methodology for Modeling Queuing Systems using Petri Nets
    Kotyrba, Martin
    Gaj, Jakub
    Tvaruzka, Matous
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2016 (ICNAAM-2016), 2017, 1863
  • [42] Poster: Modeling Congestion Control using Petri Nets
    Duran, Guillem
    Amigo, Jose M.
    Gimenez, Angel
    Valero, Jose
    Bonastre, Oscar Martinez
    2021 27TH IEEE INTERNATIONAL SYMPOSIUM ON LOCAL AND METROPOLITAN AREA NETWORKS (LANMAN), 2021,
  • [43] Flexible Negotiation Modeling by Using Colored Petri Nets
    Bai, Quan
    Zhang, Minjie
    Sim, Kwang Mong
    JOURNAL OF INFORMATION TECHNOLOGY RESEARCH, 2009, 2 (03) : 1 - 16
  • [44] Yeast pheromone pathway modeling using Petri nets
    Abhishek Majumdar
    Stephen D Scott
    Jitender S Deogun
    Steven Harris
    BMC Bioinformatics, 15
  • [45] Modeling and analysis of remote diagnosis using Petri Nets
    Chen Lin
    Wei Shutao
    Xie Xiaowen
    2007 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND BIOMIMETICS, VOLS 1-5, 2007, : 2133 - +
  • [46] Modeling gene regulatory networks using Petri Nets
    Bordon, Jure
    Moskon, Miha
    Mraz, Miha
    ELEKTROTEHNISKI VESTNIK-ELECTROCHEMICAL REVIEW, 2012, 79 (04): : 189 - 192
  • [47] Modeling traffic signal control using Petri nets
    List, GF
    Cetin, M
    IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2004, 5 (03) : 177 - 187
  • [48] On modeling a soccer robot system using Petri nets
    Guo, Baowen
    Li, Zhiwu
    Xu, Shuwen
    2006 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1 AND 2, 2006, : 460 - +
  • [49] Yeast pheromone pathway modeling using Petri nets
    Majumdar, Abhishek
    Scott, Stephen D.
    Deogun, Jitender S.
    Harris, Steven
    BMC BIOINFORMATICS, 2014, 15 : 1 - 13
  • [50] Modeling and analysis using Petri nets for semiconductor fabrication
    Jeng, MD
    Xie, XL
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 692 - 697
12345