A typical example of discrete event systems (DESs) is a reconfigurable manufacturing system (RMS) whose can be changed and become more complicated during its operation. Thus, an effective tool needs ...