Conversion and verification of recursive structure in PI-calculus with compositional petri-NET | IEEE Conference Publication | IEEE Xplore