Unified Modeling and Analysis based on Petri nets and Pi calculus.

Fei Xu, Li Zhang

Browse the full TASE paper archive.