Safety analysis using coloured Petri nets

Seung Mo Cho, Hyoung Seok Hong, Sungdeok Cha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

Abstract

The authors propose a safety analysis method using coloured Petri nets (CPN). Their method employs a backward approach where a hazard is assumed to have occurred and backward simulation from the hazard is performed in order to determine if and how the hazard might occur. Using CPN, they define a hazard as a set of markings and perform backward simulation by generating a reachability graph backwards from the hazard. To facilitate the safety analysis, they extend the semantics of CPN and define backward reachability graphs of CPN. To demonstrate their method, a shutdown system for a Korean nuclear power plant is used as an example.

Original languageEnglish
Title of host publicationProceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996
PublisherIEEE Computer Society
Pages176-183
Number of pages8
ISBN (Electronic)0818676388
DOIs
Publication statusPublished - 1996 Jan 1
Externally publishedYes
Event3rd Asia-Pacific Software Engineering Conference, APSEC 1996 - Seoul, Korea, Republic of
Duration: 1996 Dec 41996 Dec 7

Publication series

NameProceedings - Asia-Pacific Software Engineering Conference, APSEC
ISSN (Print)1530-1362

Conference

Conference3rd Asia-Pacific Software Engineering Conference, APSEC 1996
CountryKorea, Republic of
CitySeoul
Period96/12/496/12/7

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Safety analysis using coloured Petri nets'. Together they form a unique fingerprint.

  • Cite this

    Cho, S. M., Hong, H. S., & Cha, S. (1996). Safety analysis using coloured Petri nets. In Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996 (pp. 176-183). [566752] (Proceedings - Asia-Pacific Software Engineering Conference, APSEC). IEEE Computer Society. https://doi.org/10.1109/APSEC.1996.566752