Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach | IEEE Journals & Magazine | IEEE Xplore