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 条
  • [21] Performance Modeling Using Queueing Petri Nets
    Rak, Tomasz
    COMPUTER NETWORKS (CN 2017), 2017, 718 : 321 - 335
  • [22] Modeling and Analysis of Workflows Using Petri Nets
    Nabil R. Adam
    Vijayalakshmi Atluri
    Wei-Kuang Huang
    Journal of Intelligent Information Systems, 1998, 10 : 131 - 158
  • [23] Modeling and analysis using hybrid Petri nets
    Ghomri, Latefa
    Alla, Hassane
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2007, 1 (02) : 141 - 153
  • [24] Modeling multithreaded applications using Petri nets
    Kavi, KM
    Moshtaghi, A
    Chen, DJ
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2002, 30 (05) : 353 - 371
  • [25] Modeling multimedia synchronization using petri nets
    College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266510, China
    不详
    Inf. Technol. J., 2009, 7 (1054-1058):
  • [26] Using colored petri nets for conversation modeling
    Cost, RS
    Chen, Y
    Finin, T
    Labrou, Y
    Peng, Y
    ISSUES IN AGENT COMMUNICATION, 2000, 1916 : 178 - 192
  • [27] DEPENDABILITY MODELING USING PETRI-NETS
    MALHOTRA, M
    TRIVEDI, KS
    IEEE TRANSACTIONS ON RELIABILITY, 1995, 44 (03) : 428 - 440
  • [28] Modeling and analysis of workflows using Petri Nets
    Rutgers Univ, Newark, United States
    J Intell Inform Syst, 2 (131-158):
  • [29] Modeling infrastructure interdependencies using Petri nets
    Gursesli, O
    Desrochers, AA
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1506 - 1512
  • [30] Modeling Multithreaded Applications Using Petri Nets
    Krishna M. Kavi
    Alireza Moshtaghi
    Deng-jyi Chen
    International Journal of Parallel Programming, 2002, 30 : 353 - 371
12345