The analysis and verification of cooperative workflow based interactive abstract graph
- 所属机构名称:山东科技大学
- 会议名称:Proceedings of the 2012 International Conference on Communication, Electronics and Automation Engine
- 时间:2012
- 成果类型:会议
- 相关项目:逻辑Petri网演化推理机制研究及其在服务组合中的应用