Describir: Program solution of supervisory control based on Petri nets