计算机工程2010，Vol.36Issue(19)：27-30,4.
基于Petri网的语义Web服务流程一致性验证
Consistence Verification of Semantic Web Service Process Based on Petri Net
摘要
关键词
语义Web服务/Web服务流程验证/业务流程建模/Petri网分类
信息技术与安全科学引用本文复制引用
胡佳,冯志勇,徐超,王辉..基于Petri网的语义Web服务流程一致性验证[J].计算机工程,2010,36(19):27-30,4.基金项目
国家"863"计划基金资助项目(2007AA01Z130) （2007AA01Z130）
天津市应用基础研究基金资助重点项目(08JCZDJC19800) （08JCZDJC19800）
