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] A Petri net based software architecture for UAV simulation
    Xu, DX
    Borse, P
    Grigsby, K
    Nygard, KE
    SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 227 - 232
  • [42] A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems
    Li, ZhiWu
    Zhou, MengChu
    Wu, NaiQi
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 38 (02): : 173 - 188
  • [43] A Study on Reliability of Manufacturing System Based on Petri Net
    蒋昌俊
    High Technology Letters, 1995, (02) : 25 - 30
  • [44] PETRI NET-BASED SYSTEM MODELLING FOR PERFORMANCE ANALYSIS OF RECONFIGURABLE SOFT-CORE PROCESSOR USING FPGA
    Maheswari, R.
    Pattabiraman, V
    INTERNATIONAL JOURNAL OF TECHNOLOGY, 2016, 7 (06) : 1054 - 1067
  • [45] A Petri Net Modeling Approach for Reliability of PMS with Time Redundancy
    Wu, Xiaoyue
    Yu, Haiyue
    2019 COMPANION OF THE 19TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS-C 2019), 2019, : 249 - 254
  • [46] Coloured Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions
    Tang, Jun
    Piera, Miquel Angel
    Guasch, Toni
    TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 2016, 67 : 357 - 377
  • [47] Petri net-based VR model interactive behaviour specification and control for maintaining training
    Sun, T. -L.
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2009, 22 (02) : 129 - 137
  • [48] Petri net-based workflow modeling for a die and mould manufacturing resource planning system
    Ning Yang
    Zhenliang Lou
    Xionghui Zhou
    The International Journal of Advanced Manufacturing Technology, 2005, 26 : 366 - 371
  • [49] Fuzzy Petri Net-Based Fault Diagnosis for Vacuum System in Space Environment Simulator
    Li, Na
    Zhan, Haiyang
    Wang, Yu
    Wang, Xingjian
    PROCEEDINGS OF THE 2016 IEEE 11TH CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (ICIEA), 2016, : 1708 - 1713
  • [50] Petri net-based process monitoring: a workflow management system for process modelling and monitoring
    Albert Pla
    Pablo Gay
    Joaquim Meléndez
    Beatriz López
    Journal of Intelligent Manufacturing, 2014, 25 : 539 - 554
12345