A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets

被引：0
|
作者：
Meyer, Roland [1 ]
Khomenko, Victor [2 ]
Huechting, Reiner [1 ]
机构：
[1] Univ Kaiserslautern, D-67663 Kaiserslautern, Germany
[2] Newcastle Univ, Newcastle, NSW, Australia
来源：
CONCUR 2012 - CONCURRENCY THEORY | 2012年 / 7454卷
基金：
英国工程与自然科学研究理事会;
关键词：
finite control process; pi-calculus; Petri net; model checking; VERIFICATION;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We develop a polynomial translation from finite control processes (an important fragment of pi-calculus) to safe low-level Petri nets. To our knowledge, this is the first such translation. It is natural (there is a close correspondence between the control flow of the original specification and the resulting Petri net), enjoys a bisimulation result, and it is suitable for practical model checking.
引用
收藏
页码：440 / 455
页数：16
相关论文
共 50 条
  • [1] A POLYNOMIAL TRANSLATION OF π-CALCULUS FCPS TO SAFE PETRI NETS
    Khomenko, Victor
    Meyer, Roland
    Huechting, Reiner
    LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 9 (03)
  • [2] On Petri nets semantics for π-calculus
    School of Electronic and Information Engineering, Xi'an Jiaotong University, Xi'an 710049, China
    不详
    Kongzhi yu Juece Control Decis, 2007, 8 (864-868):
  • [3] Formal Translation from Reversing Petri Nets to Coloured Petri Nets
    Barylska, Kamila
    Gogolinska, Anna
    Mikulski, Lukasz
    Philippou, Anna
    Piatkowski, Marcin
    Psara, Kyriaki
    REVERSIBLE COMPUTATION, 2022, : 172 - 186
  • [4] SCOPE: A Situation Calculus Ontology of Petri Nets
    Tan, Xing
    FORMAL ONTOLOGY IN INFORMATION SYSTEMS (FOIS 2010), 2010, 209 : 227 - 240
  • [5] THE SEQUENTIAL IMPLEMENTATION OF SAFE PETRI NETS
    ZAKREVSKII, AD
    DOKLADY AKADEMII NAUK BELARUSI, 1986, 30 (02): : 120 - 123
  • [6] Possibilistic Timed Safe Petri nets
    Sandri, S
    Cardoso, J
    1998 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AT THE IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE - PROCEEDINGS, VOL 1-2, 1998, : 89 - 94
  • [7] On the construction of pullbacks for safe Petri nets
    Fabre, Eric
    PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006, 2006, 4024 : 166 - 180
  • [8] On possibilistic timed safe Petri nets
    Sandri, S
    Cardoso, J
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1999, 14 (08) : 841 - 858
  • [9] Reducing k-safe Petri nets to pomset-equivalent 1-safe Petri nets
    Best, E
    Wimmel, H
    APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 63 - 82
  • [10] Petri net translation of recursion π-calculus
    Kang, Hui
    Zhang, Shuang-Shuang
    Mei, Fang
    Jilin Daxue Xuebao (Gongxueban)/Journal of Jilin University (Engineering and Technology Edition), 2014, 44 (01): : 142 - 148
12345