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 条
  • [21] Petri net-based scheduling of a bridge project
    Sawhney, A
    Vamadevan, A
    CONSTRUCTION CONGRESS VI, PROCEEDING: BUILDING TOGETHER FOR A BETTER TOMORROW IN AN INCREASINGLY COMPLEX WORLD, 2000, : 107 - 114
  • [22] Petri Net-based scheduling of construction projects
    Sawhney, A
    Mund, A
    Chaitavatputtiporn, T
    CIVIL ENGINEERING AND ENVIRONMENTAL SYSTEMS, 2003, 20 (04) : 255 - 271
  • [23] Software Architecture Modeling and Reliability Evaluation Based on Petri Net
    Zhang, Chi
    Ma, Yunyun
    Wang, Xiaohua
    Wang, Ruixue
    2017 FOURTH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND THEIR APPLICATIONS (DSA 2017), 2017, : 51 - 56
  • [24] Algorithm for timed petri net-based simulation
    Lopez-Mellado, E.
    Vallejo-Gonzalez, S.
    International Journal of Robotics and Automation, 1996, 11 (02) : 83 - 90
  • [25] A Petri net-based environment for GUI design
    Li, XS
    Mugridge, WB
    Hosking, JG
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 2234 - 2239
  • [26] Improving the Accuracy of Petri Net-based Analysis of Concurrent Programs Analysis (ISSTA)
    Software Eng Notes, 3 (24):
  • [27] The Stochastic Petri Net Based Reliability Analysis for Software Partition Integrated Modular Avionics
    Wang Yun-Sheng
    Lei Hang
    Han Xuan
    IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2015, 30 (04) : 30 - 37
  • [28] Petri net-based reliability and availability analysis to support asset management: a CODOG propulsion system case study
    de Andrade Melani, Arthur Henrique
    de Carvalho Michalski, Miguel Angelo
    da Silva, Renan Favarao
    Netto, Adherbal Caminada
    Martha de Souza, Gilberto Franciso
    IFAC PAPERSONLINE, 2022, 55 (19): : 19 - 24
  • [29] Realization of Petri net-based consistency verification in computer
    Ding, C.
    Li, E.
    Journal of Mechanical Strength, 2001, 23 (03) : 280 - 282
  • [30] A Petri net-based visual language for specifying GUIs
    Li, XS
    Mugridge, WB
    Hosking, JG
    1997 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1997, : 50 - 57
12345