期刊文献+

一类新型的模块化高级Petri网——π-网 被引量:8

π-Net: A New Modular High Level Petri Net
下载PDF
导出
摘要 π-网是一类新型的模块化的高级Petri网.π-网有机地结合了两类并发模型Petri网和π-演算,π-网既可称为Petri网中的π-演算,又是π-演算的Petri网形式的体现,从而在语义上实现了从π-演算到Petri网的一种自动翻译,较完整地解决了π-演算的分布式语义问题.在π-网中,任一π-网都可由五类基本π-网:Tau网、输入网、自由输出网、受限输出网和匹配网通过π-网的复合规则复合而成,这一结果不仅使得一个π-进程能够在π-网中得到自动的演进,也使π-网自身具有了极大的可操作性和可计算性. π-net is a new modular high-level Petri net that combines the Petri net structure and the semantics of π-calculus together to realize the function of concurrency. In some sense, π-nets can also be considered as the reflection of pi-calculus in Petri net. Thus it can achieve the automatic semantic translation from pi-calculus to Petri nets, and then solve completely the problem of distributed semantics of π-calculus based on Petri net. According to the modular structure of the π-nets, any π-net can be constructed with five kinds of elementary π-nets. This structure can enhance the operational and computational characteristics of π-nets in practical application.
出处 《上海交通大学学报》 EI CAS CSCD 北大核心 2004年第1期52-58,共7页 Journal of Shanghai Jiaotong University
基金 国家自然科学基金资助项目(60074011 70071017)
关键词 PETRI网 Π-演算 π-网 拟合 π-网的复合规则 Computer networks Systems analysis
  • 相关文献

参考文献5

  • 1Busi N,Gorrieri R.A Petri net semantics for -calculus[].LNCS.1995
  • 2Milner R.Calculi for synchrony and asynchrony[].Theoretical Computer Science.1983
  • 3Goltz U,Mycroft A.On the relationships of CCS and Petri nets[].LNCS.1984
  • 4Koutny M,Best E.Fundamental study: operational and denotational semantics for the box algebra[].Theoretical Computer Science.1999
  • 5Petri C A.Fundamentals of a theory of asynchronous information flow[].Proc IFIP Congress’.1962

同被引文献56

引证文献8

二级引证文献32

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部