文章基本信息

标题：Research on Translation of Index π-Net based on Index π-Calculus
本地全文：下载
作者：Kang, Hui ; Shan, Dan ; Mei, Fang 等
期刊名称：Journal of Computers
印刷版ISSN：1796-203X
出版年度：2013
卷号：8
期号：3
页码：779-786
DOI：10.4304/jcp.8.3.779-786
语种：English
出版社：Academy Publisher
摘要：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 π-Calculus;Bismilarity;Index π-Net;Structural congruence;place