Analysis and Modeling of a Safety Critical System using Petri-Net model

被引：0
|
作者：
Karanjeet [1 ]
Rath, Santanu Ku. [1 ]
机构：
[1] Natl Inst Technol, Dept CS&E, Rourkela 769008, India
来源：
2016 1ST INDIA INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING (IICIP) | 2016年
关键词：
Petri-Nets; Safety Critical-System; Nuclear power plant;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, a case study on Nuclear Power Plant (NPP) has been considered and modeled using Petri-Nets to identify the occurrence of various hazards in the system. PN based modeling framework provides a flexible graphical representation which allows a qualitative analysis of safe and unsafe states of system; and a quantitative analysis of reachability graph that in turn guides to an effective safety analysis. The graphical analysis is supported by empirical verification too. These results can be used by the designer to re-design the system to improve the aspect of safety.
引用
收藏
页数：6
相关论文
共 50 条
  • [1] Research on Mapping Petri-Net to UML in System Modeling
    Wang, Chunjian
    Yue, Wei
    Du, Dongju
    [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON ELECTRONIC, MECHANICAL, INFORMATION AND MANAGEMENT SOCIETY (EMIM), 2016, 40 : 198 - 204
  • [2] Research on Mapping UML to Petri-Net in System Modeling
    Wang, Chun Jian
    Fan, Hong Jun
    Pan, Shuang
    [J]. 2016 INTERNATIONAL CONFERENCE ON ELECTRONIC, INFORMATION AND COMPUTER ENGINEERING, 2016, 44
  • [3] PETRI-NET MODELING OF THE HERMES MULTIPROCESSOR VISION SYSTEM
    BOURBAKIS, NG
    FOTAKIS, D
    TABAK, D
    [J]. JOURNAL OF MICROCOMPUTER APPLICATIONS, 1989, 12 (02): : 127 - 146
  • [4] Petri-Net Based Safety Analysis of Process Systems
    Zhou, Jianfeng
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), 2017, : 1217 - 1221
  • [5] Safety Requirements Analysis and Performance Verification of Hot Standby System Using Colored Petri-Net
    Zhou, Guo
    Zhao, Huibing
    Guo, Weiwei
    [J]. PROCEEDINGS OF THE 2013 IEEE 8TH CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (ICIEA), 2013, : 656 - 661
  • [6] Research of distribution system model on the basis of Petri-net
    Lu Yonghua
    Zhang Yuchuan
    [J]. PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON INNOVATION & MANAGEMENT, VOLS I AND II, 2007, : 1628 - 1632
  • [7] Modeling of manufacturing processes using a petri-net representation
    Rudas, IJ
    Horvath, L
    [J]. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 1997, 10 (03) : 243 - 255
  • [8] A Workflow Modeling Optimization and Analysis Algorithm Based on Petri-net
    Hao Mei
    [J]. 2008 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE & ENGINEERING (15TH), VOLS I AND II, CONFERENCE PROCEEDINGS, 2008, : 188 - 192
  • [9] DEADLOCK-AVOIDANCE SCHEMES IN A DISTRIBUTED ROBOTIC SYSTEM - PETRI-NET MODELING AND ANALYSIS
    ZHOU, MC
    [J]. JOURNAL OF ROBOTIC SYSTEMS, 1995, 12 (03): : 177 - 187
  • [10] A COLORED PETRI-NET MODEL OF VHDL
    OLCOZ, S
    COLOM, JM
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 1995, 7 (1-2) : 101 - 123
12345