Object-oriented Petri net’s reduction and systems deadlock detection
SUN Dong-mei,LU Lei,LIU Cai-hong
Computer Engineering and Applications . 2009, (22): 49 -52 .  DOI: 10.3778/j.issn.1002-8331.2009.22.017