1 |
Jin-Hyuk Hong, Myeong-Soo Lee, Do-Hyun Hwang , "Computerized procedure system for the APR1400 simulator", Nuclear Engineering and Design, Vol 239, pp 3092-3104 (2009)
DOI
|
2 |
NUREG-0899,"Guidelines for Preparation of Emergency Operating Procedures," USNRC, (1982)
|
3 |
IEEE Std 1786-2011, IEEE Guide for Human Factors Applications of Computerized Operating Procedure Systems (COPS) at Nuclear Power Generating Stations and Other Nuclear Facilities
|
4 |
Yeonsub Jung. Poonghyun Seong. Manchul Kim, "A model for computerized procedures based on flowcharts and success logic trees" Reliability Engineering and System Safety, 83 (3), pp. 351-362 (2004)
DOI
|
5 |
Kurt Jensen. "A Brief Introduction to Coloured Petri Nets". Proceeding TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems, pp203-208 (1997)
|
6 |
Kurt Jensen, Lars Michael Kristensen, Lisa Wells, "Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems." International Journal on Software Tools for Technology Transfer (STTT) Volume 9 Issue 3, pp 213-254 (2007)
DOI
|
7 |
K. Salimifard, M. Wright, "Petri Net-Based Modelling of Workflow Systems: An Overview". European Journal of Operational Research, Vol.134, No.3, pp.664-676.(2001)
DOI
|
8 |
P Bonet, C.M. Llado, R. Puijaner and W.J. Knottenbelt. "PIPE v2.5: A Petri Net Tool for Performance Modelling". Proc. 23rd Latin American Conference on Informatics (2007)
|
9 |
ISO/IEC 15909-1:2004 Systems and software engineering High-level Petri nets Part 1: Concepts, definitions and graphical notation
|
10 |
ISO/IEC 15909-2:2011 Systems and software engineering High-level Petri nets Part 2: Transfer format
|