Representing Bounded Petri Nets by Process Calculi

Representing Bounded Petri Nets by Process Calculi
复制标题

用过程演算表示有界 Petri 网

DOI：
--
复制
发表时间：
2011
期刊：
Journal of shanghai Jiaotong University (Science), 2011,V45
影响因子：
--
通讯作者：
Xiaoju Dong
Xiaoju Dong
中科院分区：
其他
文献类型：
--
作者：
Zhenhua Dong;Xiaoju Dong

文献摘要

相似文献

为了研究Petri网和进程演算之间的关系，给出了一种用进程演算模型CCS来表示有界Petri网的形式化编码方法.该方法可以将库所/变迁网编码成一个有限进程.进程和原始网满足操作和观察的对应关系.在这种观点下，它们具有相同的行为.表明该编码方法对于标记的互模拟是完全抽象的，这是网之间的等价关系.
A formal encoding method was given to represent bounded Petri nets by CCS which is one kind model of process calculi for researching the relationship between Petri nets and process calculi.A Place/Transition net could be encoded to a finite process by this method.The process and the original net satisfy the operational and observational correspondence.In this view,they have the same behaviors.It shows that the encoding method is fully Abstract with respect to the labeled bisimulation,which is an equivalence relation between nets.