Modular modeling using Petri nets

被引:0
|
作者
Wang, LM
Xie, XL
机构
来源
关键词
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 条
  • [1] A modular modeling approach for CNC machines control using Petri Nets
    Kato, ERR
    Morandin, O
    Politano, PR
    Camargo, HA
    [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3147 - 3152
  • [2] A Class of Petri Nets for Modular and Hierarchical System Modeling
    Wang, Zhijian
    Wei, Dingguo
    [J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 264 - 269
  • [3] RELIABILITY MODELING OF PARALLEL PROGRAMS WITH MODULAR STRUCTURE USING STOCHASTIC PETRI NETS
    HO, TF
    CHAN, WC
    CHUNG, CG
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1991, 16 (02) : 121 - 128
  • [4] Hierarchical and modular modeling of structural steel erection process using Petri Nets
    Sawhney, A
    Mund, A
    [J]. CIVIL ENGINEERING AND ENVIRONMENTAL SYSTEMS, 1999, 17 (01) : 63 - 88
  • [5] Hierarchical and modular modeling of structural steel erection process using Petri Nets
    Sawhney, Anil
    Mund, André
    [J]. Civil Engineering and Environmental Systems, 2000, 17 (01) : 63 - 88
  • [6] MODULAR FUNCTIONAL-MODELING OF PETRI NETS WITH INDIVIDUAL TOKENS
    BROY, M
    STREICHER, T
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 609 : 70 - 88
  • [7] PETRI-NETS AND MODULAR MODELING OF PRODUCTION-SYSTEMS
    NOYES, D
    [J]. RAIRO-AUTOMATIQUE-PRODUCTIQUE INFORMATIQUE INDUSTRIELLE-AUTOMATIC CONTROL PRODUCTION SYSTEMS, 1990, 24 (06): : 511 - 527
  • [8] MODULAR SYNTHESIS OF PETRI NETS FOR MODELING FLEXIBLE MANUFACTURING SYSTEMS
    JENG, MD
    [J]. INTERNATIONAL JOURNAL OF FLEXIBLE MANUFACTURING SYSTEMS, 1995, 7 (03): : 287 - 310
  • [9] A Novel Approach to Modular Control of Highway and Arterial Networks using Petri Nets Modeling
    Mohammadi, M.
    Dideban, A.
    Moshiri, B.
    [J]. INTERNATIONAL JOURNAL OF ENGINEERING, 2023, 36 (08): : 1578 - 1588
  • [10] Modeling Petri Nets Using Alloy
    Robles, Jonathan A.
    Solano, Geoffrey A.
    [J]. TENCON 2012 - 2012 IEEE REGION 10 CONFERENCE: SUSTAINABLE DEVELOPMENT THROUGH HUMANITARIAN TECHNOLOGY, 2012,