基于Petri网的工作流模式研究

为了满足企业对过程模型描述能力的需求,提出了一个基于Petri网的新工作流模式完全解决方案。在深入研究工作流模式的基础上,应用高级Petri网技术来构造所有的工作流模式。抑制弧通过测零帮助实现多实例的同步,消耗库所负责移除多余的标记,带标记的库所实现对变迁触发序列的控制;设计加权弧和限制容量的库所来实现同步M条路径中被激活的N条的情况。本方案实现了将所有的工作流模式,从基本到复杂,都映射到相应的Petri网上。最后,通过一个集成制造过程模型的实例,说明基于Petri网的方案能够完全满足企业在模型描述能力上的各种复杂需求。