有限PI演算的Petri网语义转换研究

提要	第1-7页
第1章 绪 论	第7-14页
·研究背景	第7-8页
·技术发展与现状	第8-12页
·Web服务及其组合的发展与现状	第8-11页
·PI演算的语义研究现状	第11-12页
·本文的主要工作	第12页
·本文的组织结构	第12-14页
第2章 PI演算与Petri网	第14-24页
·PI演算基本理论	第14-18页
·PI演算的语法定义和操作语义	第14-18页
·结构等价	第18页
·Petri网基本理论	第18-22页
·Petri网	第18-19页
·有色Petri网	第19-22页
·PI演算与Web服务	第22-23页
·本章小结	第23-24页
第3章 PI演算到Petri网的语义转换	第24-46页
·PI演算的Petri网语义表达的背景	第24-25页
·扩展的PI演算操作语义——索引PI演算操作语义	第25-30页
·基于上下文的索引PI表达式的表示方法	第30-32页
·扩展的Petri网——PNET	第32-37页
·由基于上下文的表达式向PNET转换	第37-43页
·向PNET转换的第一阶段	第37-41页
·向PNET转换的第二阶段	第41-43页
·论证PI演算到Petri网的语义转换的正确性	第43-45页
·本章小结	第45-46页
第4章 移动通信系统的建模与分析	第46-55页
·PI演算建模移动通信系统	第46-48页
·PI演算模型转为Petri网模型	第48-50页
·移动通信系统Petri网模型的分析与验证	第50-53页
·本章小结	第53-55页
第5章 结 语	第55-57页
·工作总结	第55页
·未来工作展望	第55-57页
参考文献	第57-60页
攻读硕士学位期间研究成果	第60-61页
致谢	第61页
导师及作者简介	第61-62页
摘要	第62-64页
Abstract	第64-66页