[1]GIRAULT C, VALK R. Petri nets for systems engineering:a guide to modeling, verification, and applications[M]. Berlin,Germany:Springer-Verlag,2003:473-566.
[2]MERLIN P M, FARBER D J. Recoverability of communication protocols:implications of a theoretical study[J]. IEEE Transactions on Communications,1976,24(9):1036-1043.