计算机工程2007，Vol.33Issue(7)：36-37,49,3.
基于交互学习的柔性工作流形式化验证方法研究
Research on Formal Verification Methods in Flexible Workflow Based on Interaction Learn
摘要
关键词
工作流/过程建模/验证/Petri网/柔性分类
信息技术与安全科学引用本文复制引用
邢建川,李志蜀,李清..基于交互学习的柔性工作流形式化验证方法研究[J].计算机工程,2007,33(7):36-37,49,3.基金项目
时力科技联合实验室科学研究基金资助项目 （）
