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

@inproceedings{Meyer2012APT,
  title={A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets},
  author={Roland Meyer and Victor Khomenko and Reiner H{\"u}chting},
  booktitle={CONCUR},
  year={2012}
}
We develop a polynomial translation from finite control processes (an important fragment of π-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 is… CONTINUE READING