基于有色Petri网的TII协议建模与分析

周岳斌刘桂雄

TII Protocol M odeling and Analysis Based on Colored Petri Network

Zhou Yue-bin Liu Gui-·xiong

华南理工大学学报（自然科学版） . 2010, (12): 29 -34 . DOI: 10.3969/j.issn.1000-565X.2010.12.006