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



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

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机的应用论文→计算机网络论文→一般性问题论文

有限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 页

本篇论文共66页，点击这进入下载页面。

更多论文
有限PI演算的Petri网语义转换研究
污水源热泵的性能分析与工艺设计研
路由协作网络中转发技术的研究与实
望族与昆山县域社会的变迁（1368-1
国际干散货运输市场的中国因素研究
基于NS-2的IPv6中选播通信的研究与
某大跨体育馆屋盖隔震研究
烟大滚装物流模式评价研究
小布什执政以来美国人权外交政策研
武汉地区村庄建设用地规划指标体系
基于场景设置的网络损伤器设计与实
夏热冬冷地区高层住宅气候适应性设
基于CAN总线与以太网的嵌入式网关关
船舶交通流量预测方法研究
东方乌托邦的镜像--明清基督教来华
牌坊探究--以皖、赣、鄂地区为例
基于等级划分的可信网络中可信策略
汉正街图析
苏州古运河景观文化探微
基于Agent下科研管理系统的实现
内河船舶拥挤水域通过能力的研究
大跨度张弦双层网壳施工模拟分析和
安全策略形式化定义及其管理系统
蒙古族传统图案装饰元素与民族城市
马格里特风格对招贴中图形表现的影
分组调度算法在船闸调度中的应用研
基于流量突变及数据挖掘的DDOS攻击
基于气候生态视角的城市特色研究--
中国茶文化与现代茶叶包装设计
基于PROFIBUS-DP技术嵌入式智能从站
基于OWL-S混合相似度算法的研究与实
城市的建筑色彩控制研究--以衢州为
数字化校园网综合解决方案的设计与
唐代饮食器造型设计研究
集装箱码头堆场优化管理研究
中国古代夜景观发展研究
入侵检测系统中基于FPGA的快速分包
汉口法租界历史性建筑保护与再利用
论中国吉祥文化在商标设计中的运用
基于BP神经网络的供应链战略伙伴选
基于信息构建的医院网站设计
基桩动测多波传播仿真研究
基于等级划分的可信网络的修复技术

PNET论文项重写论文语义转换论文
版权申明：目录由用户lyhqu20**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved