Hyun-jung Kim, Jun-Ho Lee, Tae-Eog Lee. Scheduling timed Petri nets with a time-feasible reachability tree. In Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, ICNSC 2013, Evry, France, April 10-12, 2013. pages 94-99, IEEE, 2013. [doi]
Abstract is missing.