Deadlock prevention approach for a class of timed Petri nets
郭金维;李志武
J4 . 2009, (5): 902 -908 .