Victor Khomenko ; Roland Meyer ; Reiner Hüchting - A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

lmcs:932 - Logical Methods in Computer Science, September 17, 2013, Volume 9, Issue 3 - https://doi.org/10.2168/LMCS-9(3:18)2013
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

Authors: Victor Khomenko ; Roland Meyer ; Reiner Hüchting

    We develop a polynomial translation from finite control pi-calculus processes to safe low-level Petri nets. To our knowledge, this is the first such translation. It is natural in that there is a close correspondence between the control flows, enjoys a bisimulation result, and is suitable for practical model checking.


    Volume: Volume 9, Issue 3
    Published on: September 17, 2013
    Accepted on: June 25, 2015
    Submitted on: January 15, 2013
    Keywords: Computer Science - Logic in Computer Science

    1 Document citing this article

    Share

    Consultation statistics

    This page has been seen 321 times.
    This article's PDF has been downloaded 392 times.