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

  1. Lookup NU author(s)
  2. Dr Victor Khomenko
Author(s)Meyer R, Khomenko V, Huchting R
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Source Publication DateMay 2012
Report Number1323
Full text is available for this publication:
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 closecorrespondence between the control flow of the original specification and the resulting Petri net), enjoys abisimulation result, and is suitable for practical model checking.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication