Time Petri Net-Based Software Reliability Analysis

被引：0
|
作者：
Yang, Maoqiang [1 ]
机构：
[1] Zunyi Normal Coll, Dept Comp Sci, Zunyi, Peoples R China
来源：
INTELLIGENCE COMPUTATION AND EVOLUTIONARY COMPUTATION | 2013年 / 180卷
关键词：
Petri net; software reliability; risk; key state;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Petri net is one of effective approaches to analysis of system reliability. In this paper, reliability of a control system for railway intersection exemplifies usage of Petri net. The reliability of the system is analyzed using Petri net. The example is intended to deepen our understanding of Petri net application.
引用
收藏
页码：231 / 235
页数：5
相关论文
共 50 条
  • [31] Petri net-based scheduling of time constrained single-arm cluster tools with wafer revisiting
    Liu, ZiCheng
    Wu, NaiQi
    Yang, FaJun
    ADVANCES IN MECHANICAL ENGINEERING, 2016, 8 (05) : 1 - 13
  • [32] A Petri net-based approach for supporting aspect-oriented modeling
    Guan L.
    Li X.
    Hu H.
    Lu J.
    Frontiers of Computer Science in China, 2008, 2 (04): : 413 - 423
  • [33] A Stochastic Petri Net-Based Model of the Involvement of Interleukin 18 in Atherosclerosis
    Formanowicz, Dorota
    Rybarczyk, Agnieszka
    Radom, Marcin
    Tanas, Krzysztof
    Formanowicz, Piotr
    INTERNATIONAL JOURNAL OF MOLECULAR SCIENCES, 2020, 21 (22) : 1 - 23
  • [34] Analysis of Safeness in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems
    Wojnakowski, Marcin
    Wisniewski, Remigiusz
    Bazydlo, Grzegorz
    Poplawski, Mateusz
    INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2021, 31 (04) : 647 - 657
  • [35] Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems
    Wisniewski, Remigiusz
    Bazydlo, Grzegorz
    Wojnakowski, Marcin
    Poplawski, Mateusz
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2023, 2023, 13929 : 191 - 204
  • [36] A Public Blockchain-based Identity Management Scheme and Petri Net-based Verification
    Liu, Ji-qin
    Wu, Yan
    Lshi, Lei-lei
    Li, Zhi-yuan
    Liu, Chen
    20TH INT CONF ON UBIQUITOUS COMP AND COMMUNICAT (IUCC) / 20TH INT CONF ON COMP AND INFORMATION TECHNOLOGY (CIT) / 4TH INT CONF ON DATA SCIENCE AND COMPUTATIONAL INTELLIGENCE (DSCI) / 11TH INT CONF ON SMART COMPUTING, NETWORKING, AND SERV (SMARTCNS), 2021, : 361 - 368
  • [37] Design of Petri Net-based Deadlock Prevention Controllers for Flexible Manufacturing Systems
    Zeng, Guoqiang
    Wu, Weimin
    Zhou, MengChu
    Mao, Weijie
    Su, Hongye
    Chu, Jian
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 193 - +
  • [38] Abnormity control design and performance analysis of real-time data exchange software based on Petri net
    College of computer Beijing University of Aeronautics and Astronautics ChinaZhengWeimin
    微计算机信息, 2005, (15) : 47 - 49+163
  • [39] Petri net-based process monitoring: a workflow management system for process modelling and monitoring
    Pla, Albert
    Gay, Pablo
    Melendez, Joaquim
    Lopez, Beatriz
    JOURNAL OF INTELLIGENT MANUFACTURING, 2014, 25 (03) : 539 - 554
  • [40] RELIABILITY ANALYSIS OF FPSO OIL AND GAS PROCESSING SYSTEM BASED ON PETRI NET
    Kang, Jichuan
    Geng, Xinyuan
    Sun, Liping
    Jin, Peng
    PROCEEDINGS OF THE ASME 39TH INTERNATIONAL CONFERENCE ON OCEAN, OFFSHORE AND ARCTIC ENGINEERING, OMAE2020, VOL 2A, 2020,
12345