Abstract: Due to their graphical representation and capability for property analysis, Petri nets (PNs) have been widely used in developing automated manufacturing systems (AMS). When doing so, it is ...