{"entities":{"Q4555871":{"pageid":6585463,"ns":120,"title":"Item:Q4555871","lastrevid":53285681,"modified":"2026-01-24T15:39:49Z","type":"item","id":"Q4555871","labels":{"en":{"language":"en","value":"On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6983677"}},"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":"Q4555871$7266210B-6EB7-439D-843D-42599B529C11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76c5cf80beaff534393e7e71b19d4f5b5c941bd5","datavalue":{"value":{"text":"On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4555871$04796A5E-46EC-4301-814F-D5C778931255","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c5e0795ae23b4da019e312097d42a0bd850fb82","datavalue":{"value":"1402.93120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555871$24450995-F725-4B00-B14A-6CB7B7D19020","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a783361102e5223eb2cd7f5a6b2b3d389db3f9bb","datavalue":{"value":{"entity-type":"item","numeric-id":2749589,"id":"Q2749589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555871$E929BB4B-EA76-4514-B0A6-DEE7196A3D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4eaac33a8c4e7fff69b8777884cedb9b3d95849","datavalue":{"value":{"entity-type":"item","numeric-id":2279730,"id":"Q2279730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555871$1810B96B-B108-478B-BFDA-A8FE5388DA49","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":"Q4555871$0ED91875-F810-406A-BE95-1AFC8FC72449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc965c71423feffd0db96f01a4fde46f98860da5","datavalue":{"value":{"entity-type":"item","numeric-id":337291,"id":"Q337291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555871$8CE0FAEE-003A-47E0-AF99-C6A4F7147F92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f7267980b4a5f1c99f351d145cb107ed9d869b02","datavalue":{"value":{"entity-type":"item","numeric-id":2703073,"id":"Q2703073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4555871$DA1B58D1-2ECF-43BF-8286-B55C95EF2398","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1e747551cea3e18facbfe25be36852721064ef5","datavalue":{"value":{"time":"+2018-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4555871$C69A4CEE-0E74-4F74-9D90-ECAABC5276DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555871$4921829A-57A2-45B8-B4D6-F99E68A48A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555871$95FCC4BB-9062-4F0C-A734-708CB4A12261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef1dcc0b33599e1092b462fd190cf5343d5086bc","datavalue":{"value":"93C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555871$130F8E61-FD7B-4CF2-98D2-958B4D2D6C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555871$BE141F78-6B9F-415C-A0BF-86A6090EAE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7ffcab9ce53e90c8627cb2c3bb400b94a5f354a","datavalue":{"value":"90B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555871$A5ADC7C3-8388-4A95-8C42-DD69A9010F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555871$B9005D1A-C65A-4CDF-BC4D-8D8E6E2DE43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b5fea7dd33e1cd94ce07f94285f7fc92e32cd89","datavalue":{"value":"93-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555871$C0DA96CB-B5C8-49A6-AA6B-E63AB8292A57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ad167ac7ed6920886048dcd413dde3dbfd6daf5","datavalue":{"value":"6983677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555871$000E5AF1-4396-488C-A642-5C75E68DF33D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcd68c1bd69afd0a113cf3433bf84fa7b891d74b","datavalue":{"value":"flexible manufacturing system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4555871$806CC1BF-742A-4432-9499-C4F641A45532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bbc9f72e0da6aa8de39db946cf240aaa4c6cf75","datavalue":{"value":"deadlock prevention","type":"string"},"datatype":"string"},"type":"statement","id":"Q4555871$48D3DFF8-418A-433C-8B2C-063802E092F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4555871$A51D4587-A298-4AA6-9D57-E35C8F049996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef72ff421250615f5cd34d9293d6993f6c76d7e1","datavalue":{"value":"liveness-enforcing supervisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4555871$B9DA590A-E3E2-407B-A4A2-D79EE6579D1A","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":"Q4555871$244EC962-8CF5-4638-AB5D-5FB365865846","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fba7c4852bba15a94dd5952e9ef74089eab56db","datavalue":{"value":"https://doi.org/10.1093/imamci/dnw043","type":"string"},"datatype":"url"},"type":"statement","id":"Q4555871$67EFF610-2F02-4B2B-92D6-744007E233BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ef6b81e82af55ec4a9e9873ebaae3279587b114","datavalue":{"value":"W2503122045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555871$93329944-B520-43AE-AB29-927CAE8D46EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0510342630c180cf81312c65787e87f7ec92121c","datavalue":{"value":"10.1093/IMAMCI/DNW043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4555871$84DA01BA-80B4-444E-A899-02342C557749","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dae4fe76ea35141753c0dff86383a190ff2a438","datavalue":{"value":{"entity-type":"item","numeric-id":2279733,"id":"Q2279733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0179138d9839a09792bfb76b94ed6d1ffe373094","datavalue":{"value":{"amount":"+0.8372369408607483","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":"Q4555871$A7E20AE4-486A-4550-A8C3-00F28302E4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b516938e132867118f8cbc32c8565fccb9b1ff93","datavalue":{"value":{"entity-type":"item","numeric-id":361050,"id":"Q361050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f8b83c142df05cd994e11643ee8a3ceda4dfa0","datavalue":{"value":{"amount":"+0.8032021522521973","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":"Q4555871$3A2C71EC-4D91-471E-A5D3-B76AC01FCD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105776df254d506c0fcb0a4ceb3bfafb99eb7ed5","datavalue":{"value":{"entity-type":"item","numeric-id":497950,"id":"Q497950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271c0c3aef7dfbc6e1efe845ce1f8515b13056c1","datavalue":{"value":{"amount":"+0.793362021446228","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":"Q4555871$7568433F-2252-4482-A916-554AB6A54818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3596214708475b7a5a9ad936b09eba3ea64cee59","datavalue":{"value":{"entity-type":"item","numeric-id":4967009,"id":"Q4967009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bae40c09114cbd22245386bb9eb91252bb16181","datavalue":{"value":{"amount":"+0.7891552448272705","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":"Q4555871$D27E429E-E3B6-49CB-A1F3-8B869A344F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9dac214b06ec4570391223987d726ab26684df1","datavalue":{"value":{"entity-type":"item","numeric-id":2797617,"id":"Q2797617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712f5cbfa841d1c85c6fc705c955615fc86c06bb","datavalue":{"value":{"amount":"+0.7837526798248291","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":"Q4555871$AA494757-EF0B-43C7-BAF9-7F6BFC3091EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4555871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4555871"}}}}}