时间Petri网的可调度分析及在FMS中的应用 (Schedulability Analysis of Time Petri Net and its Application in FMS)

Zhengli Zhai, Zhijun Ding. 时间Petri网的可调度分析及在FMS中的应用 (Schedulability Analysis of Time Petri Net and its Application in FMS). 计算机科学, 42(1):12-18, 2015. [doi]