π演算的Petri网语义研究.pdfVIP

第 22 卷 第 8 期 控 　制 　与 　决 　策 2007 年 8 月 Vol . 22 No . 8 Cont rol an d D ecis ion 　Aug . 2007 　　文章编号 : 100 10920 (2007) π 演算的 Petri 网语义研究 1 1 2 于振华 , 蔡远利 , 徐海平 ( 1. 西安交通大学 电子与信息工程学院 , 西安 7 10049 ; 2 . 马萨诸塞 州立大学达特茅斯分校 计算机与信息科学系 , 北达特茅斯 02747) π