“…For example, some works 11,12,14,15,[19][20][21][22] describe or develop operational procedures or processes in nuclear systems using Petri nets, among which a number were directly concerned with safety, risk or reliability. [19][20][21][22] More indirect applications can also be found, where Petri nets were created to describe nuclear reactor subsystems, but the evaluation was not performed by simulating the models. Instead the Petri net represented an intermediate form, which was converted for assessment by an alternative methodology, such as Markov chains, 16 reachability graphs, 17 or both.…”