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

Fingerprint

Petri nets
Hazards
Plant shutdowns
Nuclear power plants
Semantics

ASJC Scopus subject areas

  • Software

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

Safety analysis using coloured Petri nets. / Cho, Seung Mo; Hong, Hyoung Seok; Cha, Sungdeok.

Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996. IEEE Computer Society, 1996. p. 176-183 566752 (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).

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

Cho, SM, Hong, HS & Cha, S 1996, Safety analysis using coloured Petri nets. in Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996., 566752, Proceedings - Asia-Pacific Software Engineering Conference, APSEC, IEEE Computer Society, pp. 176-183, 3rd Asia-Pacific Software Engineering Conference, APSEC 1996, Seoul, Korea, Republic of, 96/12/4. https://doi.org/10.1109/APSEC.1996.566752
Cho SM, Hong HS, Cha S. Safety analysis using coloured Petri nets. In Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996. IEEE Computer Society. 1996. p. 176-183. 566752. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC). https://doi.org/10.1109/APSEC.1996.566752
Cho, Seung Mo ; Hong, Hyoung Seok ; Cha, Sungdeok. / Safety analysis using coloured Petri nets. Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996. IEEE Computer Society, 1996. pp. 176-183 (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).
@inproceedings{954027505e904567a6c0f07a210335c6,
title = "Safety analysis using coloured Petri nets",
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.",
author = "Cho, {Seung Mo} and Hong, {Hyoung Seok} and Sungdeok Cha",
year = "1996",
month = "1",
day = "1",
doi = "10.1109/APSEC.1996.566752",
language = "English",
series = "Proceedings - Asia-Pacific Software Engineering Conference, APSEC",
publisher = "IEEE Computer Society",
pages = "176--183",
booktitle = "Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996",

}

TY - GEN

T1 - Safety analysis using coloured Petri nets

AU - Cho, Seung Mo

AU - Hong, Hyoung Seok

AU - Cha, Sungdeok

PY - 1996/1/1

Y1 - 1996/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85013838126&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85013838126&partnerID=8YFLogxK

U2 - 10.1109/APSEC.1996.566752

DO - 10.1109/APSEC.1996.566752

M3 - Conference contribution

AN - SCOPUS:85013838126

T3 - Proceedings - Asia-Pacific Software Engineering Conference, APSEC

SP - 176

EP - 183

BT - Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996

PB - IEEE Computer Society

ER -