Advanced search
Publication Cover
Journal of Nuclear Science and Technology Volume 49, 2012 - Issue 2
Submit an article Journal homepage
510
Views
1
CrossRef citations to date
0
Altmetric
Rapid Communication

Modeling of computerized procedure execution with State Token Petri Net for formal verification of procedure flow

Yun Goo Kim Central Research Institute, Korea Hydro and Nuclear Power Co., Ltd, 25-1 Jang-dong, Yuseong-gu, Daejeon, 305-343, Republic of KoreaCorrespondence[email protected]
&
Poong Hyun Seong Department of Nuclear and Quantum Engineering, Korea Advanced Institute of Science and Technology, 373-1 Guseong-dong, Yuseong-gu, Daejeon, 305-701, Republic of Korea
Pages 173-181 | Received 15 Apr 2011, Accepted 26 Oct 2011, Published online: 02 Feb 2012

References

  • Hwang , F.-H. and Hwang , S.-L. 2003 . Design and evaluation of computerized operating procedures in nuclear power plants . Ergonomics , 46 : 271 – 284 .
  • Kim , I.S. 2004 . Computerized system for on-line management of failures: A state of-the-art discussion of alarm systems and diagnostic systems applied in the nuclear industry . Reliab. Eng. Syst. Safety , 44 : 279 – 295 .
  • Niwa , Y. , Hollnagel , E. and Green , M. 1996 . Guidelines for computerized presentation of emergency operating procedures . Nucl. Eng. Design , 167 : 113 – 127 .
  • Niwa , Y. and Hollnagel , E. 2002 . Integrated computerization of operating procedures . Nucl. Eng. Design , 213 : 289 – 301 .
  • O'Hara , J.M. , Higgins , J.C. and Kramer , J. 2000 . Computer-Based Procedure Systems: Technical Basis and Human Factors Review Guidance , Washington , DC : (NUREG/CR-6634), U.S. Nuclear Regulatory Commission .
  • van der Aalst , W.M.P. and ter Hofstede , A.H.M. 2005 . YAWL: yet another workflow language . Inform. Sys , 30 : 245 – 275 .
  • van der Aalst , W.M.P. 2000 . Workflow verification: Finding control-flow errors using Petri-net-based techniques. Business process management : Models, techniques and empirical studies . Lect. Notes Comp. Sci , 1806 : 161 – 183 .
  • van der Aalst , W.M.P. 1997 . Verification of workfow nets . Lect. Notes Comp. Sci , 1248 : 407 – 426 .
  • Liu , D.S. , Wang , J. , Chan , S.C.F. , Sun , J. and Zhang , L. 2002 . Modeling workflow processes with colored Petri nets . Comput. Ind , 49 : 267 – 281 .
  • Salimifard , K. and Wright , M. 2001 . Petri net-based modelling of workflow systems: An overview . Eur. J. Oper. Res , 134 : 664 – 676 .
  • Jung , Y. , Seong , P. and Kim , M. 2004 . A model for computerized procedures based on flowcharts and success logic trees . Reliab. Eng. Syst. Safety , 83 : 351 – 362 .
  • Jensen , K. 1997 . A brief introduction to coloured Petri nets . Lect. Notes Comp. Sci , 1217 : 203 – 208 .
  • Jensen , K. , Kristensen , L.M. and Wells , L. 2007 . Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems . Int. J. Softw. Tools Technol. Transf. (STTT) , 9 : 213 – 254 .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.