{"entities":{"Q1819941":{"pageid":1830683,"ns":120,"title":"Item:Q1819941","lastrevid":69402405,"modified":"2026-04-13T06:45:51Z","type":"item","id":"Q1819941","labels":{"en":{"language":"en","value":"Fifo nets without order deadlock"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995068"}},"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":"Q1819941$56592DB9-17D4-48EB-B552-C0F8D21DE761","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e62bbd1466157951f1291bfd89f58bc00e658012","datavalue":{"value":{"text":"Fifo nets without order deadlock","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1819941$9DBBB57B-2977-493B-8B02-AAC3DB1EC965","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dc213c3ed075a418b2af55f1c636abc72a711cb","datavalue":{"value":"0614.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819941$AB0B1363-3E08-4F2B-93AB-860B691561BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"891b7585e1682d2945a14d02890831ace949f983","datavalue":{"value":"10.1007/BF00268843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819941$54BC978B-A036-4B03-95DA-64F2B06DE585","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819941$42AD875D-ACD0-47BF-A033-F478753A3C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0facc445c71170b77d707676da275a9ced8f0c12","datavalue":{"value":{"entity-type":"item","numeric-id":1819940,"id":"Q1819940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819941$9648A995-45C1-4E49-8AD9-7C2936B03D01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819941$E35E626D-D584-44F5-B064-BE6C0DF200E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1819941$A5E887E8-749F-48BB-A2E7-35B1E4F6995A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81f36ca973e4e3b88e3028a1d90ef0cc91a3abf6","datavalue":{"value":"We introduce a generalization of free choice nets to fifo. These fifo nets are free from deadlocks caused by the order of messages in fifo queues. We describe some tools for their analysis, using the facts that they are weakly monotonous, and that there is a close relation between their languages and those of the associated coloured nets. Therefore, quasi-liveness, finite termination and liveness are decidable properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819941$561A06BE-643A-4726-8E1D-1F0702D06E7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819941$F1734439-499B-4C97-960E-40CC0AB47669","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d4669c4ca80bdf4496cff6386d5760ec960a638","datavalue":{"value":"3995068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819941$1454B778-6CE2-453A-8281-3C1C7DFBEE7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcdaef6c892d5928ea3ed5950c2ef3257bd408a7","datavalue":{"value":"free choice nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819941$E6496993-58E4-4372-BD88-77E0C0960556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f18e8dcd706ffffd05ba63db051848b14ff3f2f","datavalue":{"value":"fifo nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819941$AA037DB1-B3BB-42CF-A345-ABBE3648A3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56acaab03203bb15e9cf65084ab1e2280adb48e7","datavalue":{"value":"fifo queues","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819941$99D180FD-06D1-4B73-9F93-AF4C4B90DF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2474e86d2a2646deb4f87d14f0509f43f916d70f","datavalue":{"value":"quasi-liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819941$B19E9522-150F-4170-82CB-5D73A7EB79C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ad5b617b53554ca0a584d2a1a7be40d5d54122","datavalue":{"value":"finite termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819941$0D7C4BA1-A0F4-4748-9EC3-3BFFADAEA8F7","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":"Q1819941$2D922F7D-1635-4DA9-A9EA-6ABB5A599BBC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6f065f962e5b486015e92ba89ca7a7ce2a29836","datavalue":{"value":{"entity-type":"item","numeric-id":4430283,"id":"Q4430283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819941$858A2A63-C2D7-4D62-9BB0-281F9EC07BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514fbfb7dfa16e92e5e6c91f3749b1514a0418fd","datavalue":{"value":{"entity-type":"item","numeric-id":3675512,"id":"Q3675512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819941$9836120C-BD8D-43CF-ABC2-78D4EAB2F7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819941$B2133349-1694-406D-A466-2544D6FF642A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"785f349e1fad6b9b432d8fa366c8424197c082e2","datavalue":{"value":{"entity-type":"item","numeric-id":579940,"id":"Q579940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819941$2AD06980-159D-488D-A105-1870235C65B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819941$BA4949AC-7FB3-4534-BD34-13C0BCA0ADF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77e8a35a41b3668987f9431d96a3b3594b46ea","datavalue":{"value":{"entity-type":"item","numeric-id":1059399,"id":"Q1059399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819941$828ECB8D-FC4B-4428-8912-45D169E72092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf9a2e825d64cf3e383698bdb734ae1efb34ab5","datavalue":{"value":{"entity-type":"item","numeric-id":1139945,"id":"Q1139945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819941$0A501D20-1F2C-4B73-8B57-2CCD3DF309B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffefb0e135f017a0cbd5a8871548606ca7ca9fe2","datavalue":{"value":"https://doi.org/10.1007/bf00268843","type":"string"},"datatype":"url"},"type":"statement","id":"Q1819941$421A834C-5929-4D97-B66D-3520CFBABE9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16646233d19466877a5505f50ee5fb3c93a687f0","datavalue":{"value":"W1998467885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819941$464D40EF-29FB-40B6-8096-D09367A12070","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0151b8f451800f4d43da3613a715dab67920f980","datavalue":{"value":{"entity-type":"item","numeric-id":3776642,"id":"Q3776642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c398f63fbeb0e4af456473e9419d6a4c6b0ad869","datavalue":{"value":{"amount":"+0.8552797436714172","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":"Q1819941$3ABFF95A-80FC-435E-BF00-F04007101284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ca264ff96dd3f8f7e800afc4e762f7fcf3fb42","datavalue":{"value":{"entity-type":"item","numeric-id":4730790,"id":"Q4730790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5797c9db39ef434eab85f45653be73a8b57818","datavalue":{"value":{"amount":"+0.8340124487876892","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":"Q1819941$A6889B4B-09E1-45E6-997D-A7B07C25B46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5fa1af277d99d56ea61a4c7f0f751c5a18ebb8","datavalue":{"value":{"entity-type":"item","numeric-id":1059399,"id":"Q1059399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40cfb5ddb59a6c87f5499be551a30a0e90dbfa28","datavalue":{"value":{"amount":"+0.8323200345039368","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":"Q1819941$8D7BFEAD-7682-4405-BECF-A76649370315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b145008db41bbe7e0aaf5fb309fddb02b4ad717","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eccacfebd7f878112b6a44a3a56fe60faf35f1b","datavalue":{"value":{"amount":"+0.7534850835800171","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":"Q1819941$FB122934-997D-4AE2-B402-B872B96CDE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37493db6d786ba5b4c9dade25413f36a5c1b0eeb","datavalue":{"value":{"entity-type":"item","numeric-id":3718162,"id":"Q3718162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"193ebc6c96c0efc9ea991c68807fd0490f3fb9ba","datavalue":{"value":{"amount":"+0.7484820485115051","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":"Q1819941$B9D2D3A7-429A-430E-ABFD-B1AAA77A0CCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fifo nets without order deadlock","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fifo_nets_without_order_deadlock"}}}}}