From petri nets to formal description techniques and protocol engineering 网到形式描述技术和协议工程
2.
The thesis summarizes the advantages of adopting petri net as the tool of protocol specification and analysis on the foundation of reviewing three kinds of relatively existing formal description techniques ( fdts ) 论文在总结比较现有的各种形式描述技术( fdt )的基础之上,重点论述了采用petri网作为协议描述和分析工具的优势所在。