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 条
  • [1] Petri net-based verification of security protocol implementation in software evolution
    Bin Ahmadon, Mohd Anuaruddin
    Yamaguchi, Shingo
    Gupta, B. B.
    INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2018, 10 (06) : 503 - 517
  • [2] Petri Net-Based Reliability Assessment and Migration Optimization Strategy of SFC
    Rui, Lanlan
    Chen, Xushan
    Gao, Zhipeng
    Li, Wenjing
    Qiu, Xuesong
    Meng, Luoming
    IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 2021, 18 (01): : 167 - 181
  • [3] Operators for Analyzing Software Reliability with Petri net
    Yu Ruiqiang
    Huang Zhiqiu
    ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 2, 2008, : 358 - 361
  • [4] Hardware implementation of real-time Petri net-based controllers
    Chang, N
    Kwon, WH
    Park, J
    ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997, 1997, : 245 - 250
  • [5] A Petri Net-based Supply Chain System
    Liu, Jiang-ping
    Wu, Ri-geng
    INTERNATIONAL JOURNAL OF ONLINE ENGINEERING, 2018, 14 (11) : 28 - 39
  • [6] Petri net-based representation of rules and verification of consistency
    丁彩虹
    姜兴渭
    黄文虎
    Journal of Harbin Institute of Technology(New series), 2001, (02) : 125 - 128
  • [7] 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 - +
  • [8] Petri Net-based Business Process Model Change
    Gao, Ying
    Luo, Zong-wei
    Wu, Zhen-huan
    Liu, Cong
    INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION ENGINEERING (CSIE 2015), 2015, : 44 - 49
  • [9] A fuzzy Petri net-based reasoning method for rescheduling
    Qiao, Fei
    Wu, Qidi
    Li, Li
    Wang, Zuntong
    Shi, Bin
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (3-4) : 435 - 455
  • [10] Petri Net-Based Functional Representation of a Level Crossing
    Lobotkova, Zuzana
    Janota, Ales
    MODERN TRANSPORT TELEMATICS, 2011, 239 : 118 - 125
12345