Architecture Modelling and Task Scheduling of an Integrated Parallel CNC System in Docker Containers Based on Colored Petri Nets | IEEE Journals & Magazine | IEEE Xplore