Petri net based process scheduling: A model of the control system of flexible manufacturing systems