Reachability Tree-Based Optimization Algorithm for Cyclic Scheduling of Timed Petri Nets | IEEE Journals & Magazine | IEEE Xplore