Unified Modeling and Analysis based on Petri nets and Pi calculus | IEEE Conference Publication | IEEE Xplore