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] 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
  • [25] Algorithm for timed petri net-based simulation
    Lopez-Mellado, E.
    Vallejo-Gonzalez, S.
    International Journal of Robotics and Automation, 1996, 11 (02) : 83 - 90
  • [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] 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
  • [30] A Petri Net-based Model for the Attacking Soccer Robots
    Coman, Daniela
    RECENT ADVANCES IN AUTOMATION & INFORMATION: PROCEEDINGS OF THE 10TH WSEAS INTERNATIONAL CONFERENCE ON AUTOMATION & INFORMATION (ICAI'09), 2009, : 186 - +
12345