On legacy system reusability based on CPN and CCS formalism | IEEE Conference Publication | IEEE Xplore