Research on Translation of Index π-Net based on Index π-Calculus
|
Title | Research on Translation of Index π-Net based on Index π-Calculus |
Authors | |
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. |
Publisher | ACADEMY PUBLISHER |
Date | 2013-03-01 |
Source | Journal of Computers Vol 8, No 3 (2013): Special Issue: Parallel Computing |
Rights | Copyright © ACADEMY PUBLISHER - All Rights Reserved.To request permission, please check out URL: http://www.academypublisher.com/copyrightpermission.html. |