43、简单电路跨组织工作流网兼容性判定的充要条件

简单电路跨组织工作流网兼容性判定的充要条件

1. 引言

Petri网在建模并发/分布式系统方面应用广泛，因其能很好地表征系统的流程及其相互关系。例如在柔性制造系统中，每个产品的制造涉及一个或多个制造过程，每个过程按固定顺序使用一组资源，这些过程无需相互交互协作，但需共享公共资源，像S3PRs、S4PRs、S3PMRs和ERCN - 合并网等都是用于建模此类系统的知名Petri网类别。

Petri网的另一个著名应用是对Web服务等并发系统进行建模和分析。每个简单服务的执行过程由一个简单Petri网建模，这些简单Petri网通过一组公共位置（作为服务间传递消息的媒介）组合在一起。跨组织工作流网（IWF - 网）作为Petri网的一类，用于建模这些并发系统，该模型仅考虑过程间的交互，不考虑它们是否共享公共资源。

兼容性对于IWF - 网来说是非常重要的属性，它确保系统总能到达目标状态，不会出现死锁或活锁，且每个任务都有执行的潜在权利。实际上，IWF - 网的兼容性等同于工作流网（WF - 网）的健全性。

虽然已证明一般WF - 网的健全性问题是可判定的，也有针对自由选择WF - 网健全性问题的多项式时间算法，但一些并发系统（如Web服务组合）因涉及不同组件/过程间通过消息收发进行交互，使得相关模型越来越复杂，自由选择WF - 网无法对其建模。而判定这些复杂模型健全性或兼容性的一般方法基于可达性图，通常存在空间爆炸问题。除自由选择网和一些结构良好的网外，针对这些复杂模型的基于结构的方法并不多。因此，寻找基于结构的方法来判定兼容性或健全性具有重要意义。

本文针对一类由Liu和Jiang定义的IWF - 网（SCIWF - 网）提出了判定兼容性的充要条