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


Share

Consultation statistics

This page has been seen 269 times.
This article's PDF has been downloaded 352 times.