Petri net based modeling and analysis of switched systems

被引：0
|
作者：
He, KX [1 ]
Lemmon, MD [1 ]
机构：
[1] Univ Notre Dame, Dept Elect Engn, Notre Dame, IN 46556 USA
来源：
JOINT CONFERENCE ON THE SCIENCE AND TECHNOLOGY OF INTELLIGENT SYSTEMS | 1998年
关键词：
D O I：
10.1109/ISIC.1998.713650
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper summerizes recent results for a class of timed Petri nets called programmable timed Petri nets (PTPN) [Lem98]. The application of recent results [He98] [Bet97] concerning the uniform ultimate boundedness of switched systems, modeled by PTPN, is discussed. Unfolding [Eng91] is introduced as an efficient way to identify fundamental cycles from the reachability graph of the PTPN thereby providing an efficent way to test uniform ultimate boundedness of switched system.
引用
收藏
页码：140 / 145
页数：6
相关论文
共 50 条
  • [21] Modeling and formal verification of embedded systems based on a Petri net representation
    Cortés, LA
    Eles, P
    Peng, Z
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2003, 49 (12-15) : 571 - 598
  • [22] A PETRI NET-BASED DECOMPOSITION APPROACH IN MODELING OF MANUFACTURING SYSTEMS
    TENG, SHG
    JIE, Z
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1993, 31 (06) : 1423 - 1439
  • [23] Modular Petri net modeling of healthcare systems
    Mahulea, Cristian
    Mahulea, Liliana
    Garcia Soriano, Juan Manuel
    Manuel Colom, Jose
    [J]. FLEXIBLE SERVICES AND MANUFACTURING JOURNAL, 2018, 30 (1-2) : 329 - 357
  • [24] On Petri net Modeling of automated manufacturing systems
    Wu, Naiqi
    Zhou, MengChu
    Hu, Gang
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING, AND CONTROL, VOLS 1 AND 2, 2007, : 228 - +
  • [25] Petri net-based modeling and VHDL implementation of digital systems
    Wan, Jun
    [J]. PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ELECTRONIC TECHNOLOGY, 2016, 48 : 108 - 111
  • [26] Petri net-based modeling of a class of complex digital systems
    Jayaram, R
    Raman, S
    Raj, RV
    Patnaik, LM
    [J]. COMPUTERS & ELECTRICAL ENGINEERING, 1997, 23 (01) : 41 - 53
  • [27] Colored Petri Net Modeling of Communication Systems Based on IEC 61850
    da Silva, Milton Rafael
    Ferreira Machado, Pedro Henrique
    de Souza, Luiz Edival
    de Souza, Carlos Waldecir
    [J]. 2017 4TH INTERNATIONAL CONFERENCE ON SYSTEMS AND INFORMATICS (ICSAI), 2017, : 1001 - 1006
  • [28] Petri-Net Based Safety Analysis of Process Systems
    Zhou, Jianfeng
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), 2017, : 1217 - 1221
  • [29] Performance modeling and analysis of a switching router based on stochastic petri net
    Wang, Q
    Liu, B
    [J]. 2003 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOL 1 AND 2, PROCEEDINGS, 2003, : 543 - 546
  • [30] RELIABILITY AND AVAILABILITY ANALYSIS OF MECHANICAL SYSTEMS USING STOCHASTIC PETRI NET MODELING BASED ON DECOMPOSITION APPROACH
    Kumar, Girish
    Jain, Vipul
    Gandhi, O. P.
    [J]. INTERNATIONAL JOURNAL OF RELIABILITY QUALITY AND SAFETY ENGINEERING, 2012, 19 (01)
12345