Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets | IEEE Journals & Magazine | IEEE Xplore