Describir: Supervisory Control and High-level Petri nets