Improved net rewriting systems-based rapid reconfiguration of Petri net logic controllers

This paper proposes an approach to rapid reconfiguration of Petri net (PN) logic controllers for reconfigurable manufacturing systems (RMS). Above all, we present improved net rewriting systems (INRS) that overcome the limitation of net rewriting systems (NRS) by modifying the transfer relation and prescribing the kinds of the left and right hand sides in a rewriting rule of them. Based on INRS, the method for rapid reconfiguration of a PN logic controller is developed, which can preserve the correctness of the original one during reconfiguring. Thus for a new configuration of a given RMS, only the rewriting of the existing PN logic controller is needed and the efforts of redesign and re-verification of a new one are avoided. Eventually, a RMS example is used to demonstrate our method presented.