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 simulation and analysis of the software development process
    Topic, Gordan
    Jevtic, Dragan
    Kunstic, Marijan
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2008, 5178 : 418 - +
  • [2] A time Petri net-based method for embedded hard real-time software synthesis
    Raimundo Barreto
    Paulo Maciel
    Eduardo Tavares
    Romulo Devezas Freitas
    Meuse Oliveira
    Ricardo Massa Lima
    Design Automation for Embedded Systems, 2008, 12 : 31 - 62
  • [3] A time Petri net-based method for embedded hard real-time software synthesis
    Barreto, Raimundo
    Maciel, Paulo
    Tavares, Eduardo
    Freitas, Romulo Devezas
    Oliveira, Meuse
    Lima, Ricardo Massa
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2008, 12 (1-2) : 31 - 62
  • [4] Small Spacecraft Software Modeling: A Petri Net-Based Approach
    Malott, Levi
    Palangpour, Pasha
    Pernicka, Henry
    Chellappan, Sriram
    JOURNAL OF AEROSPACE INFORMATION SYSTEMS, 2014, 11 (10): : 679 - 690
  • [5] A Petri Net-Based Software Synchronizer for Automatic Measurement Systems
    Arpaia, Pasquale
    Fiscarelli, Lucio
    La Commara, Giuseppe
    Romano, Felice
    IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 2011, 60 (01) : 319 - 328
  • [6] A time Petri net-based approach for synchronization, analysis and management of multimedia scenarios
    Ghomari, A.
    Rahmouni, M. K.
    INTERNATIONAL JOURNAL OF PARALLEL EMERGENT AND DISTRIBUTED SYSTEMS, 2007, 22 (06) : 451 - 466
  • [7] Software tool for modeling, simulation and real-time implementation of Petri net-based supervisors
    Genter, Goran
    Bogdan, Stjepan
    Kovacic, Zdenko
    Grubisic, Ivor
    PROCEEDINGS OF THE 2007 IEEE CONFERENCE ON CONTROL APPLICATIONS, VOLS 1-3, 2007, : 1009 - 1014
  • [8] 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
  • [9] 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
  • [10] Petri Net-Based Problem Solving
    Capkovic, Frantisek
    2014 IEEE 12TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS AND INFORMATICS (SISY), 2014, : 203 - 208
12345