¹ Department of Computer Applications Technology, Jilin University College of Computer Science and Technology, Changchun, China
² College of Mechanical Science and Engineering, Jilin University, Changchun, Chin

---

Abstract—In terms of the definitions and features of index π-calculus, a new kind of index π-net is proposed in this paper, which can reflect the system actions of index π- calculus system. This article presents definitions of Index π- calculus places, transitions and arcs. Meanwhile, the conditions to activate a transition and the effects on the tokens of its successor place are given as well. We try not to disturb the nature of petri net while defining index π-nets and expound the structural congruence relationship between them which verifies the semantic correctness of index π-nets. Finally, a simplified model of index π-nets is built, and a complete procedure about how the internal channel can be exposed to the external system is offered according to the model.

Index Terms—Index π-Calculus, Bismilarity, Index π-Net, Structural congruence, place

[PDF]

Cite: Hui Kang, Dan Shan, Fang Mei, and Di Cao, " Research on Translation of Index π-Net based on Index π-Calculus," Journal of Computers vol. 8, no. 3, pp. 779-786, 2013.