Skip to main navigation
Skip to search
Skip to main content
Korea University Pure Home
Home
Profiles
Research units
Equipment
Research output
Press/Media
Search by expertise, name or affiliation
Safety analysis using coloured Petri nets
Seung Mo Cho
, Hyoung Seok Hong
,
Sungdeok Cha
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
14
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Safety analysis using coloured Petri nets'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Safety Analysis
100%
Colored Petri Nets
100%
Reachability Graph
40%
Backward Simulation
40%
Nuclear Power Plant
20%
Shutdown System
20%
Backward Method
20%
Backward Reachability
20%
Earth and Planetary Sciences
Petri Net
100%
Nuclear Power Plant
20%