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 条
  • [41] An aspect-oriented approach to resource composition in Petri net-based software architectural models
    Kim, Tae-Hyung
    Chang, Carl K.
    30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 1, REGULAR PAPERS/PANELS, PROCEEDINGS, 2006, : 87 - +
  • [42] HiWorD: A Petri net-based hierarchical workflow designer
    Benatallah, B
    Chrzastowski-Wachtel, P
    Hamadi, R
    O'Dell, M
    Susanto, A
    THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 235 - 236
  • [43] Petri Net-based Smart Parking Information System
    Makke, Omar
    Gusikhin, Oleg
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON VEHICLE TECHNOLOGY AND INTELLIGENT TRANSPORT SYSTEMS (VEHITS), 2020, : 385 - 393
  • [44] Petri net-based modeling and verification of confidentiality policy
    Zhang, Zhaoli
    Hong, Fan
    Liao, Junguo
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2007, 35 (10): : 28 - 31
  • [45] Petri Net-Based Functional Representation of a Level Crossing
    Lobotkova, Zuzana
    Janota, Ales
    MODERN TRANSPORT TELEMATICS, 2011, 239 : 118 - 125
  • [46] Stochastic Petri net-based modelling of the durability of renderings
    Ferreira, C.
    Neves, L. Canhoto
    Silva, A.
    de Brito, J.
    AUTOMATION IN CONSTRUCTION, 2018, 87 : 96 - 105
  • [47] A Petri Net-Based Software Process Model for Developing Process-Oriented Information Systems
    Li, Yu
    Oberweis, Andreas
    INFORMATION SYSTEMS DEVELOPMENT: ASIAN EXPERIENCES, 2011, : 27 - 39
  • [48] A Petri-Net Based Reliability Prediction Method for SOA Software
    Zhang, Hao
    Lu, Minyan
    Gu, Tingyang
    ICAIP 2018: 2018 THE 2ND INTERNATIONAL CONFERENCE ON ADVANCES IN IMAGE PROCESSING, 2018, : 165 - 172
  • [49] Stochastic Petri net-based modeling and formal analysis of fault tolerant Contract Net Protocol
    Boukredera, Djamila
    Maamri, Ramdane
    Aknine, Samir
    WEB INTELLIGENCE, 2016, 14 (03) : 245 - 271
  • [50] Fuzzy Petri net-based programmable logic controller
    Andreu, D
    Pascal, JC
    Valette, R
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1997, 27 (06): : 952 - 961
12345