基于工作流网的实时协同系统模拟技术

基于Petri网和工作流的概念，提出一种实时协同系统的形式化模拟与分析技术——逻辑工作流网，逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展，其变迁的输入／输出受逻辑表达式的约束，它与一般工作流网相比，能够在一定程度上缓解状态空间爆炸问题，且便于系统设计人员掌握和使用，该文分析了逻辑工作流网的若干性质及组合网的性质继承问题，并以网上企业销售系统为例，说明逻辑工作流网在实时协同系统模拟分析中的应用。

Modeling Real-Time Cooperative Systems with Workflow Nets

A new formal method used to model and to analyze real-time cooperative systems, logical workflow nets, is presented based on Petri nets and workflow techniques in this paper. It is the abstract and extension of Petri nets and high-level Petri nets on the expression of passing value indeterminacy. It enhances the modeling and analyzing ability of Petri nets. Compared with the workflow nets, it is able to mitigating efficiently the problem of state space explosion to a certain extent and being used expediently by the designers of workflow nets. The input and output places of the logical transitions in logical workflow nets are restricted by corresponding temporal logical expressions. Some properties of logical workflow nets and their combining nets, such as soundness and liveness, are defined and analyzed. The inheritable problem of the properties from each single net to their combination net is discussed thoroughly. Since the time sequences of the messages to be transferred between its two related entities are only considered, when a combining net is analyzed, this method can reduce consumedly the analyzing complexity of logical workflow nets. The use of our method is illustrated by a useful example of an online selling system.