Yanqing Gao

A modified reachability tree approach to analysis of unbounded Petri nets

MengChu Zhou, Fei-Yue Wang, Yanqing Gao, 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).