Abstract:π-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.

Π-Net:A New Modular High Level Petri Net