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

【Abstract】 p-net is a new modular high-level Petri net that try to combine the Petri net structure and the semantics of p-calculus together to realize the function of concurrency. In some sense, p-nets can also be considered as the reflection of pi-calculus in Petri net. Thus it can achieve the automatic semantic translation from p-calculus to Petri nets, and then solve completely the problem of distributed semantics of p-calculus based on Petri net. According to the modular structure of the p-nets, any p-net can be constructed with four kinds of elementary p-nets. This structure can enhance the operational and computational characteristics of p-nets in practical application.更多还原