A compositional Petri net translation of general π-calculus terms

@article{Devillers2008ACP,
  title={A compositional Petri net translation of general π-calculus terms},
  author={Raymond R. Devillers and Hanna Klaudel and Maciej Koutny},
  journal={Formal Aspects of Computing},
  year={2008},
  volume={20},
  pages={429-450}
}
We propose a finite structural translation of possibly recursive π-calculus terms into Petri nets. This is achieved by using high-level nets together with an equivalence on markings in order to model entering into recursive calls, which do not need to be guarded. We view a computing system as consisting of a main program (π-calculus term) together with procedure declarations (recursive definitions of π-calculus identifiers). The control structure of these components is represented using… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS