Liveness Enforcement for Time Petri Nets.

Tao Qin, Yifan Dong, Li Yin, Naiqi Wu, Zhiwu Li

Browse the full CoDIT paper archive.