Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Inter-organizational workflow nets (IWF-nets) can ll model the interactions among multiple processesby sending/receiving messages. Compatibility and ak 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 (ak) compatibility problem is PSPACE-complete forsafe IWF-nets.  defines a class of IWF-nets in which some simple circuits are allod. Necessaryand sufficient conditions are presented to decide compatibility and ak compatibility for this class, and theyare dependent on the net structures only. Algorithms are developed based on these conditions. In addition, show that the traditional net structures like siphon cannot be easily used to decide the (ak) compatibility ofIWF-nets.
['Guanjun Liu', 'Changjun Jiang']
I am writing a research paper on a idea Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets
[{"from": "human", "value": "I am writing a research paper on a idea Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Inter-organizational workflow nets (IWF-nets) can ll model the interactions among multiple processesby sending/receiving messages. Compatibility and ak 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 (ak) compatibility problem is PSPACE-complete forsafe IWF-nets.  defines a class of IWF-nets in which some simple circuits are allod. Necessaryand sufficient conditions are presented to decide compatibility and ak compatibility for this class, and theyare dependent on the net structures only. Algorithms are developed based on these conditions. In addition, show that the traditional net structures like siphon cannot be easily used to decide the (ak) compatibility ofIWF-nets."}]