Showing results 1 to 2 of 2
Modeling of computerized procedure execution with State Token Petri Net for formal verification of procedure flow Kim, Yun Goo; Seong, Poong Hyun, JOURNAL OF NUCLEAR SCIENCE AND TECHNOLOGY, v.49, no.1-2, pp.173 - 181, 2012-01 |
STATE TOKEN PETRI NET MODELING METHOD FOR FORMAL VERIFICATION OF COMPUTERIZED PROCEDURE INCLUDING OPERATOR'S INTERRUPTIONS OF PROCEDURE EXECUTION FLOW Kim, Yun Goo; Seong, Poong-Hyun, NUCLEAR ENGINEERING AND TECHNOLOGY, v.44, no.8, pp.929 - 938, 2012-12 |
Discover