Modelling and evaluation of the security of cyber‐physical systems using stochastic Petri nets | Synapse