不可否认协议的Petri网建模与分析.pdfVIP

计算机研究与发展 ／ ／ !# $%%%$’()) *# $$$+++ ,- （）： ， ./01234/5*/6 0891:9;931=32?9@94/6928 A’ ) $B+$!$B++ ’%%B 7 7 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 不可否认协议的 网建模与分析 !#$% 黎波涛 罗军舟 （东南大学计算机科学与工程系 南京 ） ’$%%)G （ ） 49/918;90H90H2 7 ’()%* ,*