Safety analysis using coloured Petri nets

Seung Mo Cho, Hyoung Seok Hong, Sungdeok Cha

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

14 Citations (Scopus)


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
Number of pages8
ISBN (Electronic)0818676388
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


Conference3rd Asia-Pacific Software Engineering Conference, APSEC 1996
Country/TerritoryKorea, Republic of

ASJC Scopus subject areas

  • Software


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

Cite this