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 algorithm for maximizing production rate in assembly lines
    Kilincci, Ozcan
    JOURNAL OF THE FACULTY OF ENGINEERING AND ARCHITECTURE OF GAZI UNIVERSITY, 2020, 35 (02): : 753 - 763
  • [22] Petri net-based modelling of human-automation conflicts in aviation
    Pizziol, Sergio
    Tessier, Catherine
    Dehais, Frederic
    ERGONOMICS, 2014, 57 (03) : 319 - 331
  • [23] Telerobot Control System with Petri Net-based Multi-control Modes Transfer in Due Time
    You, B.
    Li, D. J.
    Qiu, J. Y.
    MANUFACTURING AUTOMATION TECHNOLOGY, 2009, 392-394 : 278 - 282
  • [24] Petri net-based modeling and control of the multi-elevator systems
    Farooq Ahmad
    Ilyas Fakhir
    Sher Afzal Khan
    Yaser Daanial Khan
    Neural Computing and Applications, 2014, 24 : 1601 - 1612
  • [25] A Petri net-based modelling of replacement strategies under technological obsolescence
    Clavareau, Julien
    Labeau, Pierre-Etienne
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2009, 94 (02) : 357 - 369
  • [26] Petri net-based modeling and control of the multi-elevator systems
    Ahmad, Farooq
    Fakhir, Ilyas
    Khan, Sher Afzal
    Khan, Yaser Daanial
    NEURAL COMPUTING & APPLICATIONS, 2014, 24 (7-8) : 1601 - 1612
  • [27] Petri Net-Based Scheduling Analysis of Dual-Arm Cluster Tools Subject to Wafer Revisiting and Residency Time Constraints
    Qiao, Yan
    Wu, NaiQi
    Zhou, MengChu
    Dai, QingYun
    2013 10TH IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC), 2013, : 252 - 257
  • [28] An approach to repair Petri net-based process models with choice structures
    Qi, HongDa
    Du, YuYue
    Qi, Liang
    Wang, Lu
    ENTERPRISE INFORMATION SYSTEMS, 2018, 12 (8-9) : 1149 - 1179
  • [29] BioNetSim: a Petri net-based modeling tool for simulations of biochemical processes
    Gao, Junhui
    Li, Li
    Wu, Xiaolin
    Wei, Dong-Qing
    PROTEIN & CELL, 2012, 3 (03) : 225 - 229
  • [30] A Petri Net-Based Byzantine Fault Diagnosis Method for Service Composition
    Fan, Guisheng
    Yu, Huiqun
    Chen, Liqiong
    Liu, Dongmei
    2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 42 - 51
12345