Describir: Evaluation of Power System Security with Petri Nets