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
T2 - 3rd Asia-Pacific Software Engineering Conference, APSEC 1996
Y2 - 4 December 1996 through 7 December 1996
ER -