Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets
| Title | Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets |
| Publication Type | Journal Article |
| Year of Publication | 2009 |
| Authors | Németh, E., Bartha, T., Fazekas, C., and Hangos, K. M. |
| Journal | Reliability Engineering & System Safety |
| Volume | 94 |
| Issue | 5 |
| Pagination | 942 - 953 |
| Date Published | 2009 |
| ISBN Number | 0951-8320 |
| Notes | UT: 000264542300006 |
