文献类型：会议

作　　者：曹木亮 吴智铭 杨根科

作者单位：上海交通大学自动化系(上海) 中国人民解放军桂林陆军学院(桂林) 上海交通大学自动化系(上海)

会议文献：系统仿真学报

会议名称：第九届全国Petri网学术年会

会议日期：20030901

会议地点：杭州

主办单位：中国系统仿真学会;中国计算机学会

出版日期：20030901

出 版 地：北京

语　　种：中文

摘　　要：π-网是一类新型的模块化的高级Petri网.π-网有机地结合了两类并发模型Petri网和π-网演算,π-网既可称为Petri网中的π-演算,又是π-演算的Petri网形式的体现,从而在语义上实现了从π-演算到Petri网的一种自动翻译,较完整地解决了π-演算的分布式语义问题,在π-网中,任一π-网都可由四类基本π-网:Tau网、输入网、自由输出网和匹配网通过π-网的复合规则复合而成,这一结果不仅使得一个π-进程能够在π-网中得到自动的演进,也使得π-网自身具有了极大的可操作性和可计算性.

关 键 词：Π-演算 PETRI网 π-网  复合规则  

分 类 号：TP301.6]