{"entities":{"Q3063811":{"pageid":3074527,"ns":120,"title":"Item:Q3063811","lastrevid":51147866,"modified":"2026-01-16T22:38:48Z","type":"item","id":"Q3063811","labels":{"en":{"language":"en","value":"Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5827214"}},"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":"Q3063811$AA6CC294-277B-4019-B035-CF76CB1EC927","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c174b636eedb8e5f9e1fde4eebaa378439db5d4","datavalue":{"value":{"text":"Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3063811$33CCC3AA-A9A8-4392-8890-B64C5512CBC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17aabd4a52a172589d03c0929a4a3a01e66753d8","datavalue":{"value":"1202.90120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3063811$B358EAE3-4E9A-47F9-B20F-4DFCBDB577AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42bc4ceee18db5c114ae3ef65364f3459b60ef05","datavalue":{"value":"10.1080/00207720903171779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3063811$6589A80C-7C9E-414B-A337-8780FEB0DBAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c38763fbc1b85dfb8812e9aedeb7188b724513b","datavalue":{"value":{"entity-type":"item","numeric-id":2096879,"id":"Q2096879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3063811$6BF82331-069C-4C0E-9968-E79BE1351349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3bc8c388d7a0fac63269c05e0b00f7133fe344","datavalue":{"value":{"entity-type":"item","numeric-id":340679,"id":"Q340679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3063811$A7ABE83E-BA2B-467D-87B6-33B9A5B5DFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2e50d2017280a6974fa09d48c5fbf5af370d498","datavalue":{"value":{"entity-type":"item","numeric-id":1716558,"id":"Q1716558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3063811$F6EC4261-6B5D-4B63-A71F-C06FDDFA2429","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a387666d32725ea62f913aeefd529b3bb76b9409","datavalue":{"value":{"time":"+2010-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3063811$5CE20371-376E-44EB-A57B-68FCCF44AAB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3063811$82A190DD-9445-45A3-B0AD-A2FACCD70ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3063811$B49A4B3C-A024-4A43-8747-50010A2FFA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3063811$C76C21ED-AC2D-4085-A88E-E9E40DA7328B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"387011cd776a782e4d43cd458de87f4d7664a919","datavalue":{"value":"5827214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3063811$1C9C0C8B-7CB8-491A-A44C-4E1D65796E9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3063811$09457DFE-2FA6-482F-8B43-F29B498B7AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bbc9f72e0da6aa8de39db946cf240aaa4c6cf75","datavalue":{"value":"deadlock prevention","type":"string"},"datatype":"string"},"type":"statement","id":"Q3063811$54056377-6BBD-4C68-83B0-12633BAB589B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8208a6c1f97e07ce92d30eff7919145d2fd299b","datavalue":{"value":"elementary siphons","type":"string"},"datatype":"string"},"type":"statement","id":"Q3063811$E7DEDEEE-1E60-4EE6-A64D-DFEC7C58D02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2081bcfba7e80a4b962f32600bafb172c2a4b3da","datavalue":{"value":"flexible manufacturing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3063811$B32664B1-13DE-498F-A1CE-BABFA8253894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3063811$CAE1C361-71CA-4AC3-85CB-148AE3E7304D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7e6b1911c47863232bb453c23433d8a3e345f7d7","datavalue":{"value":{"entity-type":"item","numeric-id":41859,"id":"Q41859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3063811$7CB24647-D74D-486D-93AE-BFAAB9F85138","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":"Q3063811$F3B5A275-8774-4673-929C-7AC8EB95B3AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"163245a8d516582fb19ab2ea2631dc47d61168cc","datavalue":{"value":"https://doi.org/10.1080/00207720903171779","type":"string"},"datatype":"url"},"type":"statement","id":"Q3063811$D21FCD54-5AAE-4268-9E59-23C0E66E0072","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89b014fe6d6f4097fce0b05782182b0e16970f14","datavalue":{"value":"W2040680386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3063811$418F0CE4-D1BA-45FD-8BD4-8CA55699015B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0014cd4816038dc2150a0e2e8953ca75fe7c90ef","datavalue":{"value":{"entity-type":"item","numeric-id":4394364,"id":"Q4394364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3063811$C745E30B-B7D6-4DC4-B4F9-54A223C99F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d5c74e9c8dfe0e0215e536833bee6a53e95dcf","datavalue":{"value":{"entity-type":"item","numeric-id":4780589,"id":"Q4780589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3063811$86BEBCA0-A238-4B62-9691-B4D6CD081940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63006d257d7a2e048f09442f14abaae3d89f8e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4540213,"id":"Q4540213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3063811$758DD5C4-66E7-4259-8107-35AE114B9580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051c287c0a7721b855b3c85f3b4e4e1f215b24e1","datavalue":{"value":{"entity-type":"item","numeric-id":3550619,"id":"Q3550619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3063811$A5F08E93-3348-4111-87FC-09E633C85F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dfe447467092cccfaa2d8a597e16a4018653a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4876603,"id":"Q4876603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3063811$01B75860-3CF6-40DC-BF9E-EEEE09549F2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d28953bd0f0c2d8508713f8e55254124cfc990d","datavalue":{"value":{"entity-type":"item","numeric-id":6544798,"id":"Q6544798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3063811$FE2C66DE-3F3B-4BAC-BA6D-6F8C0795008F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d298199178afd53226b65e6390377256a9c08a1","datavalue":{"value":{"entity-type":"item","numeric-id":3058342,"id":"Q3058342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5fc95c19e89a62f3be669193f16a320fc054ea","datavalue":{"value":{"amount":"+0.929917335510254","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":"Q3063811$35FED791-4C2C-407A-935C-3CED09193255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42fc0adf4f0af9c40f11720f69bf1beb38b319ad","datavalue":{"value":{"entity-type":"item","numeric-id":2377377,"id":"Q2377377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"541e35b1e1159bfdb2ad4de57955da2c1fef9c6b","datavalue":{"value":{"amount":"+0.907337725162506","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":"Q3063811$E9193A44-EBE3-4C89-8B03-BED148A8EC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28884785d64478e9cdab86c91dfddc4c6c4e48db","datavalue":{"value":{"entity-type":"item","numeric-id":3055275,"id":"Q3055275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4515917503a659d1b852626c6fc50e80c0b06aea","datavalue":{"value":{"amount":"+0.905678927898407","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":"Q3063811$96AFAF60-FECB-47D5-8101-B7C64C9F50CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8333c1af681be750894507bf95f982407ea9ee27","datavalue":{"value":{"entity-type":"item","numeric-id":2314733,"id":"Q2314733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de3d4ffde16c3c6ddea56978a96f0aadfd4f45e","datavalue":{"value":{"amount":"+0.9012646079063416","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":"Q3063811$A0D98042-6B29-46F8-AA4B-D244004E7AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2794718131e6f0868ba994471d402e74df04172","datavalue":{"value":{"entity-type":"item","numeric-id":2713455,"id":"Q2713455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5bbb0395202fad872d70cf4757a8bd54809efd","datavalue":{"value":{"amount":"+0.8814976215362549","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":"Q3063811$DD4B6A54-1F7C-42F7-B12F-7FFABE0BE680","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3063811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3063811"}}}}}