Wootton, M. J., Andrews, J., Lloyd, A. L., Smith, R., Arul, A. J., Vinod, G., Prasad, S. H., & Garg, V. (2019, September). Petri Nets and Pseudo-Bond Graphs for a Nuclear Reactor Primary Coolant System. Presented at 29th European Safety and Reliability Conference (ESREL 2019), Hannover, Germany