Colored Resource-Oriented Petri Net Based Ladder Diagrams for PLC Implementation in Reconfigurable Manufacturing Systems | IEEE Journals & Magazine | IEEE Xplore