基于Petri网的动态联盟工作流构建与分析

摘要

动态联盟将成为新世纪企业超越传统竞争的新模式的观点，已被学术界和企业界广泛接受，然而，企业如何得到联盟信息，得知信息后如何进行联盟，谁来对联盟进行管理，保障企业的根本利益？这些问题表明：要实现动态联盟就需要一个好的平台对企业联盟过程进行集成化、规范化管理。
　　工作流技术是实现企业业务过程建模、仿真、优化、管理与集成，并最终实现整个业务过程的自动化核心技术。本文将工作流管理技术与企业动态联盟有效结合，使企业联盟过程流程化，跟踪联盟过程大大提高了企业联盟的运营效率，节省了人力、物力、财力，为企业联盟建立了一个良好的平台。
　　首先，本文对动态联盟工作流程进行分析，提出了将动态联盟工作流分解为注册登陆流程、信息发布流程、伙伴选择流程、合同签订流程、投诉与评价流程的设计理念，并分析其可行性。
　　其次，本文给出了动态联盟工作流的Petri网模型，通过分析网的有界性、可达性，验证所构建工作流模型的安全性与可行性。并使用CPN Tool进行模拟验证，使其更加规范、有效、合理。因此，本文的研究工作具有重要的理论价值和实际意义。
　　最后，本文给出实例，使用CPN Tools模拟执行过程，证明模型的实用性与可行性。为了在激烈的市场竞争中继续生存和获得更加长久竞争优势，就必须积极探索更加合理的发展模式。动态联盟工作流的组织模式可以实现资源共享、风险共担、优势互补、增强竞争优势等战略目标，可以凭借资金、技术、人才等的交流提高经营效益。可以降低经营风险，实现互利双赢，使有限的资源发挥最大的经济效益和社会效益，促进中小型制造企业的可持续发展。

目录

封面

声明

中文摘要

英文摘要

目录

1 绪 论

1.1 研究背景

1.2国内外研究现状及存在问题

1.3论文研究的课题背景、意义及内容

1.4本章小节

2 基本知识与概念

2.1动态联盟的基本知识与概念

2.2工作流的基本知识及概念

2.3 Petri网

2.4 CPN Tools

2.5本章小结

3 基于Petri网的动态联盟工作流模型构建与分析

3.1 动态联盟工作流设计分析

3.2 基于Petri网的动态联盟工作流模型

3.3 本章小结

4 基于Petri网的动态联盟工作流验证

4.1 Petri网模型的有界性

4.2 CPN实现

4.3 本章小结

5 实例验证

5.1 注册信息

5.2信息发布

5.3 伙伴选择

5.4 签订合约

5.5 投诉与评价

5.6本章小结

6 总结与展望

6.1 总结

6.2展望

参考文献

致谢

攻读硕士期间主要成果