共 13 条
[1]
A time Petri net approach for finding pre-runtime schedules in embedded hard real-time systems
[J].
24TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS,
2004,
:846-851
[2]
Bonhomme P., 2014, P 2014 IEEE EM TECHN, P1
[4]
[郭健 Guo Jian], 2007, [东南大学学报. 自然科学版, Journal of Southeast University. Natural Science Edition], V37, P60
[6]
Synthesis of deadlock prevention supervisors using Petri nets
[J].
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION,
2002, 18 (01)
:59-68
[7]
Jiang Y.H., 2013, SHANGHAI MACHINE TOO, V01, P2
[8]
Li L, 2007, CONTROL MEASUREMENT, V23, P62
[9]
Li Ling, 2007, Control & Measurement, P15
[10]
Nihat N, 2008, 2008 IET 7 INT C, P38