Time-varying automated manufacturing systems and their event-based control: A Petri net approach | IEEE Conference Publication | IEEE Xplore