Modular logic controllers for machining systems: formal representation and performance analysis using Petri nets | IEEE Journals & Magazine | IEEE Xplore