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] A Petri Net-Based Approach to Control of Boolean Networks
    Kobayashi, Koichi
    Hiraishi, Kunihiko
    2012 THIRD INTERNATIONAL CONFERENCE ON NETWORKING AND COMPUTING (ICNC 2012), 2012, : 399 - 403
  • [32] Realization of Petri net-based consistency verification in computer
    Ding, C.
    Li, E.
    Journal of Mechanical Strength, 2001, 23 (03) : 280 - 282
  • [33] 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
  • [34] A Petri Net-based Metric for Active Rule Validation
    Chavarria-Baez, Lorena
    Li, Xiaoou
    2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011), 2011, : 922 - +
  • [35] Petri net-based modelling of workflow systems: An overview
    Salimifard, K
    Wright, M
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2001, 134 (03) : 664 - 676
  • [36] 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
  • [37] 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
  • [38] A new method for the redundancy analysis of Petri net-based liveness enforcing supervisors
    Gelen, Gokhan
    Uzam, Murat
    Li, ZhiWu
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2017, 39 (05) : 763 - 780
  • [39] Petri Net-based Coordination Component for Collaborative Design
    Huang, Hong-Zhong
    Xu, Huan-Wei
    Zu, Xu
    CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 2010, 18 (03): : 199 - 205
  • [40] Petri net-based modeling of hybrid dynamic systems
    Gotesman, M
    LopezBenitez, N
    ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 553 - 559
12345