A Polynomial Translation of piCalculus (FCP) to Safe Petri Nets
 Lookup NU author(s)
 Dr Victor Khomenko




Author(s)   Meyer R, Khomenko V, Huchting R 
Publication type   Report 
Series Title   School of Computing Science Technical Report Series 
Year   2012 
Date   May 2012 
Report Number   1323 
Pages   35 



Full text is available for this publication: 




We develop a polynomial translation from finite control processes (an important fragment of picalculus) to safe lowlevel 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. 



Institution   School of Computing Science, University of Newcastle upon Tyne 
Place Published   Newcastle upon Tyne 
URL   http://www.cs.ncl.ac.uk/publications/trs/papers/1323.pdf 
Actions   