Fei Xu Li Zhang Unified Modeling and Analysis based on Petri nets and Pi calculus. 75-86 2007 conf/tase/2007 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2007.54 db/conf/tase/tase2007.html#XuZ07