Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets

Inter-organizational workflow nets (IWF-nets) can well model the interactions among multiple processesby sending/receiving messages. Compatibility and weak compatibility are crucial properties for IWF-nets.The latter guarantees that a system is deadlock-free and livelock-free while the former also guarantees that ithas no dead tasks. Our previous work proved that the (weak) compatibility problem is PSPACE-complete forsafe IWF-nets. This paper defines a class of IWF-nets in which some simple circuits are allowed. Necessaryand sufficient conditions are presented to decide compatibility and weak compatibility for this class, and theyare dependent on the net structures only. Algorithms are developed based on these conditions. In addition, weshow that the traditional net structures like siphon cannot be easily used to decide the (weak) compatibility ofIWF-nets.创新点跨组织工作流网广泛用于模拟与分析多个业务流程间的交互, 这些交互通过消息传递来实现。弱兼容性保证业务流程交互时既无死锁也无活锁, 而兼容性同时还保证业务流程的每个事件都有可能发生。然而, 我们前期工作证明: 对有界跨组织工作流网来说, 判定其 (弱) 兼容性是PSPACE完全的。因此, 为一些子类寻找有效判定条件是非常有意义的。本文定义了一类跨组织工作流网, 提出了新的网结构概念, 并基于这些网结构概念给出了判定 (弱) 兼容性的充要条件。