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 条
  • [31] Liveness enforcing monitors for safe and controllable Petri nets
    Lemmon, MD
    He, KX
    PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 775 - 780
  • [32] Hierarchical structure of 1-safe Petri nets
    Lodaya, K
    Ranganayakulu, D
    Rangarajan, K
    ADVANCES IN COMPUTING SCIENCE - ASIAN 2003: PROGRAMMING LANGUAGES AND DISTRIBUTED COMPUTATION, 2003, 2896 : 173 - 187
  • [33] Control of Safe Ordinary Petri Nets Using Unfolding
    Alessandro Giua
    Xiaolan Xie
    Discrete Event Dynamic Systems, 2005, 15 : 349 - 373
  • [34] Petri net processes for zero-safe nets
    Farwer, B
    Köhler, M
    FUNDAMENTA INFORMATICAE, 2005, 67 (1-3) : 65 - 75
  • [35] Making Petri nets safe and free of internal transitions
    Best, Eike
    Darondeau, Philippe
    Wimmel, Harro
    FUNDAMENTA INFORMATICAE, 2007, 80 (1-3) : 75 - 90
  • [36] Safe Adaptation of Cobotic Cells based on Petri Nets
    Ebert, Sebastian
    2022 17TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS), 2022, : 43 - 47
  • [37] SAT-based verification of safe Petri nets
    Ogata, S
    Tsuchiya, T
    Kikuno, T
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 79 - 92
  • [38] Control of safe ordinary petri nets using unfolding
    Giua, A
    Xie, XL
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2005, 15 (04): : 349 - 373
  • [39] Automatic translation of time Petri Nets into Estelle description
    1600, Publ by Elsevier Science Publishers B.V., Amsterdam, Neth
  • [40] A compositional Petri net translation of general π-calculus terms
    Devillers, Raymond
    Klaudel, Hanna
    Koutny, Maciej
    FORMAL ASPECTS OF COMPUTING, 2008, 20 (4-5) : 429 - 450
12345