摘要：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.
