10027/12618 Haisheng. Wang Haisheng. Wang Supervisory control of time Petri nets using net unfoldings. University of Illinois at Chicago 2014 Computer Science. 2014-03-17 00:00:00 Thesis https://indigo.uic.edu/articles/thesis/Supervisory_control_of_time_Petri_nets_using_net_unfoldings_/10920734 Supervisory control of time Petri nets using net unfoldings.