Comparison of Security Models: Attack Graphs Versus Petri Nets. - Steven C. White; Sahra Sedigh Sarvestani (Adv. Comput., 2014)