Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing. - Hua Li; Xinming Ye; Chengyong Wu; Chengbao Hang; Lingling Wang (CSIE (7), 2009)