工作流网的结构正确性验证 |
| |
引用本文: | 林剑峰.工作流网的结构正确性验证[J].中小企业管理与科技,2009(34):290-290. |
| |
作者姓名: | 林剑峰 |
| |
作者单位: | 成都东软信息技术职业学院 |
| |
摘 要: | 本文利用工作流网作为形式化建模工具,然后在此基础上研究了工作流网的结构正确性,其分析方法主要是利用了工作流网模型结构正确性与短回路网的活性和有界性的等价关系,然后结合Petri网的验证技术对自由选择网的活性和有界性进行分析,从而得到自由选择网的正确性,从而验证工作流网模型的结构正确性。
|
关 键 词: | 工作流 验证 模型 |
本文献已被 维普 万方数据 等数据库收录! |
|