Text this: Program solution of supervisory control based on Petri nets