利用CPNTOOLS对停等协议进行的建模分析及验证，并已生成可达图，相关资料可参考已上传的“InfoForCPNtools).rar”-Stop using CPNTOOLS such agreement on Modeling analysis and verification, and has generated up to map the relevant information, reference has been uploaded " InfoForCPNtools). Ra