Parsimonious deadlock-free Petri net models of flexible manufacturing systems