基于着色Petri网的BPEL建模与验证 门 鹏,段振华 西安电子科技大学　计算机学院，陕西　西安 710071  全文: PDF   摘要： 关键词： 着色Petri网; BPEL; Web services 发表年限: 2007年 发表期号: 第6期