| π演算的Petri网语义研究 |
| |
| 引用本文： | 于振华,蔡远利,徐海平.π演算的Petri网语义研究[J].控制与决策,2007,22(8):864-868. |
| |
| 作者姓名： | 于振华 蔡远利 徐海平 |
| |
| 作者单位： | 1. 西安交通大学,电子与信息工程学院,西安,710049
2. 马萨诸塞州立大学达特茅斯分校,计算机与信息科学系,北达特茅斯,02747 |
| |
| 基金项目： | 国家863计划项目（2003AA721070）. |
| |
| 摘 要： | 为弥补π演算的固有缺陷．提出一种将π演算映射为Petri网语义的方法．该方法将π演算分为基本单元、顺序、并发、选择和递归等几种基本结构．分别映射为Petri网．然后复合构成复杂的系统．π演算的Petri网语义可形象地描述系统的物理结构和动态行为，可直接从模型网络结构上定性分析系统的性质．最后,利用该方法将移动汽车网络的π演算模型映射为Petri网，验证了方法的有效性．
|
| 关 键 词： | π演算 Petri网 并发 结构特性 分析 |
| 文章编号： | 1001-0920（2007）08-0864-05 |
| 收稿时间： | 2006-4-27 |
| 修稿时间： | 2006-04-272006-11-29 |
On Petri nets semantics for π-calculus |
| |
| YU Zhen-hua,CAI Yuan-li,XU Hai-ping.On Petri nets semantics for π-calculus[J].Control and Decision,2007,22(8):864-868. |
| |
| Authors: | YU Zhen-hua CAI Yuan-li XU Hai-ping |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《控制与决策》浏览原始摘要信息 |
|
点击此处可从《控制与决策》下载全文 |
|
