Describir: Petri Nets for Systems Engineering :