| 摘要 | 第1-6页 |
| Abstract | 第6-12页 |
| 1 绪论 | 第12-19页 |
| ·研究背景 | 第12-14页 |
| ·国内外研究现状及存在问题 | 第14-17页 |
| ·论文研究的课题背景、意义及内容 | 第17-18页 |
| ·本章小节 | 第18-19页 |
| 2 基本知识与概念 | 第19-28页 |
| ·动态联盟的基本知识与概念 | 第19-20页 |
| ·作流的基本知识及概念 | 第20-23页 |
| ·Petri网 | 第23-25页 |
| ·CPN Tools | 第25-27页 |
| ·本章小结 | 第27-28页 |
| 3 基于Petri网的动态联盟工作流模型的构建与分析 | 第28-40页 |
| ·动态联盟工作流设计分析 | 第28-30页 |
| ·基于Petri网的动态联盟工作流模型 | 第30-39页 |
| ·本章小结 | 第39-40页 |
| 4 基于Petri网的动态联盟工作流的验证 | 第40-71页 |
| ·Petri网模型的有界性 | 第40-45页 |
| ·CPN实现 | 第45-70页 |
| ·本章小结 | 第70-71页 |
| 5 实例验证 | 第71-78页 |
| ·注册信息 | 第72-73页 |
| ·信息发布 | 第73-74页 |
| ·伙伴选择 | 第74-75页 |
| ·签订合约 | 第75-76页 |
| ·投诉与评价 | 第76-77页 |
| ·本章小结 | 第77-78页 |
| 6 总结与展望 | 第78-80页 |
| ·总结 | 第78页 |
| ·展望 | 第78-80页 |
| 参考文献 | 第80-84页 |
| 致谢 | 第84-85页 |
| 攻读硕士期间主要成果 | 第85页 |