{"entities":{"Q1665580":{"pageid":1676321,"ns":120,"title":"Item:Q1665580","lastrevid":57242274,"modified":"2026-03-27T15:09:27Z","type":"item","id":"Q1665580","labels":{"en":{"language":"en","value":"Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6926255"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$0CF3E16D-9B58-4E76-8D6C-66A75130318F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dbf2a6639324f5d016603082f49501ef6d63770","datavalue":{"value":{"text":"Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1665580$E5781554-F2FC-4764-8FBE-B04BAA392D3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c778d56ae671c5ccf0958c33588bf9969db2651","datavalue":{"value":"1394.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1665580$B335E99C-2CD6-40A7-8F30-14727B4FD8B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3454aa903bcac7ec2deb55f4a33e756057b2c33e","datavalue":{"value":"10.1155/2015/392945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1665580$6AA68CB8-AF26-4F75-92EB-1AE8668B3B68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e34c9a7698c673a823a27beaa72ba4304925981","datavalue":{"value":{"entity-type":"item","numeric-id":852786,"id":"Q852786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$92BD2B80-458D-4A6B-84CA-F57C6E9514B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec015bbb3743dceb56b9db254618a164f08d1642","datavalue":{"value":{"entity-type":"item","numeric-id":989541,"id":"Q989541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$371BDDD5-739C-4EDE-BBBC-71A83A88991C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3dc97bc0aff607b9c22ce37ffa18b6de85001d90","datavalue":{"value":{"entity-type":"item","numeric-id":86199,"id":"Q86199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$F9AC8999-5E22-4E09-8118-E082A6814E8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07d78b2809f727a96c8c6621733f1ab3a1973328","datavalue":{"value":{"time":"+2018-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1665580$E1091F67-CA0C-4601-9CD7-4A53D8D371EE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a059f74b1cb27df2cd9f22948168318ff4cfa014","datavalue":{"value":"Summary: Interorganizational Workflow nets (IWF-nets) can well model many concurrent systems such as web service composition, in which multiple processes interact via sending/receiving messages. Compatibility of IWF-nets is a crucial criterion for the correctness of these systems. It guarantees that a system has no deadlock, livelock, or dead tasks. In our previous work we proved that the compatibility problem is PSPACE-complete for safe IWF-nets. This paper defines a subclass of IWF-nets that can model many cases about interactions. Necessary and sufficient condition is presented to decide their compatibility, and it depends on the net structures only. Finally, an algorithm is developed based on the condition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1665580$8807A42E-3B18-4FAF-BC74-41631121BA4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1665580$3E66E6A5-57BF-45CD-A425-27E4C0DE7FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1665580$3FE28CE8-9516-473A-A150-43BF56D2614A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f922ed572c459d541a1cb2edbcb542f34d01a074","datavalue":{"value":"90B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1665580$602147F7-0828-498B-A4ED-D2E6EFC1CC57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"319f8b0c0d01ad0a3600e78c7eb06ac4fac581e8","datavalue":{"value":"6926255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1665580$7E368BFD-2B94-4107-BFC1-1EF80D0FD7B2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"01abaa171679812ba76af59192a19a3ef4ad1b8d","datavalue":{"value":"Q59118459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1665580$C8FB2223-3F7C-4697-B334-527B4D18F3BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad64f3e9ea5ca38f1894f21a5db4d937e706b919","datavalue":{"value":{"entity-type":"item","numeric-id":16554,"id":"Q16554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$449B397C-18F0-4E34-8ABC-8EC8FEBE42B9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$2C8A7F7E-CC02-475D-A51A-EC24DEFC77CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b39c8f64d0425ce73c3b2e2a6d27d999b3dfb22a","datavalue":{"value":"https://doi.org/10.1155/2015/392945","type":"string"},"datatype":"url"},"type":"statement","id":"Q1665580$8A63E36B-3EBA-4B46-8E11-2E24EC90AC98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33f0e033d39bc3d9df13cc4973a83a8b82ef3c5f","datavalue":{"value":"W2115599675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1665580$CDDA32E6-0A29-4E30-9B24-9839A5D0892A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6014abe34bb5750917a916334514943212fdc4eb","datavalue":{"value":{"entity-type":"item","numeric-id":4952938,"id":"Q4952938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$BFB16359-5649-4A6B-B7EE-AD94D7EB40A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0919912d77e5c4c0faacc836335bd19a60b0d20a","datavalue":{"value":{"entity-type":"item","numeric-id":1019128,"id":"Q1019128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$A3E549E0-1748-4BDB-B09A-899AE401F39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4cbdbea2b568f2eb9db129f3f21a324e505e569","datavalue":{"value":{"entity-type":"item","numeric-id":5712330,"id":"Q5712330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$CA242530-1BA8-4B67-96A9-35216320A80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acf63ad6e7e70aeeb104b9cc592074af0f3e591b","datavalue":{"value":{"entity-type":"item","numeric-id":3011897,"id":"Q3011897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$D4DEE70B-1D66-48F1-9A43-02BF90EFEF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb8b020e4d3f5bacacd5f3a7479d3cd33ad53be4","datavalue":{"value":{"entity-type":"item","numeric-id":539433,"id":"Q539433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$94D7EBA5-9EB2-4427-AA42-3A84B445316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc0b312c3a7cb12d541e0145908ba75194c0f88","datavalue":{"value":{"entity-type":"item","numeric-id":1044705,"id":"Q1044705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$BA01C175-2A41-47DC-8272-A7C328783B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd57b30b02286b0004075da894f43550d773545","datavalue":{"value":{"entity-type":"item","numeric-id":5415301,"id":"Q5415301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$8DC62958-EA96-4980-AB2D-B7D6CBFFD4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca40f7fab407694a6786a841f6f4de26a927568","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$861C3632-6910-412D-8AD2-FCF2735F3906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3f1ca7245db78f2e0e2c3e3e3ff67547573345","datavalue":{"value":{"entity-type":"item","numeric-id":4911790,"id":"Q4911790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$58113B5D-3779-4709-8C66-F9609EE0EC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cfbd8de52616d37cac171947786411f1f6cf30","datavalue":{"value":{"entity-type":"item","numeric-id":4657750,"id":"Q4657750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$2077EBFB-231F-41C3-9609-8E27630658AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5914b4fd2ab55a232e35c32e16300a405fd2cab4","datavalue":{"value":{"entity-type":"item","numeric-id":3081901,"id":"Q3081901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c7c25cfe3c30ea0b5bbeb7484dc14506c7545d","datavalue":{"value":{"amount":"+0.7564836740493774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1665580$E3057F0F-F74D-409F-AF87-2DBF8768A8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582ab284ff1755e8094bfebf33f9481d915209fd","datavalue":{"value":{"entity-type":"item","numeric-id":4952938,"id":"Q4952938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd6e42587bd0c529bca5cf15e620f6c01e8cb798","datavalue":{"value":{"amount":"+0.7468335032463074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1665580$DD179DFE-88DA-4013-8D21-86BD2AB38148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e24014e506ab721db1dc35b0c7d6ead6d7db078","datavalue":{"value":{"entity-type":"item","numeric-id":5411652,"id":"Q5411652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4dd61cba54010804c788a61c20394389a90347","datavalue":{"value":{"amount":"+0.7241151332855225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1665580$6C7C7D5A-1C79-4C2D-B563-F53E2C5ADA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75eeecd97aec279cb9423d8c9da88b547fce0f54","datavalue":{"value":{"entity-type":"item","numeric-id":5415301,"id":"Q5415301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0029d80fb700592d826e6d38e8229d7430efbf69","datavalue":{"value":{"amount":"+0.723425567150116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1665580$21C4A9C0-55BC-44D7-91AE-3BF3620C0F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2247a0a44d235240a33958a7475500773b9ee9d","datavalue":{"value":{"entity-type":"item","numeric-id":539433,"id":"Q539433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c081e462313879356fc8c9beb8d00456c8501d75","datavalue":{"value":{"amount":"+0.7230514883995056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1665580$FE33B291-47DF-4C04-945C-1219B77A7EBF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1665580$21EA2A00-C99B-44E4-8F18-7DE5011E914D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1665580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1665580"}}}}}