{"entities":{"Q2377377":{"pageid":2388120,"ns":120,"title":"Item:Q2377377","lastrevid":51761930,"modified":"2026-01-19T21:43:13Z","type":"item","id":"Q2377377","labels":{"en":{"language":"en","value":"An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182662"}},"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":"Q2377377$D09983A0-AA26-43FF-8C81-EE45508FB501","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40d26b6f150aa90e91ce12d43ad40915fba3863f","datavalue":{"value":{"text":"An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2377377$DBC53F5E-DF95-43CE-95A4-152788E29C8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a801dc6e64438fad88e55ba1dc8b17b7345621c","datavalue":{"value":"1266.93098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377377$9E0FB361-5AE0-4250-AE64-1DC4ABB25371","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":"Q2377377$2E6363F5-EFBC-48F4-98C0-09DE8E2F88D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"173f9edf66c374abd00229bbcb879c61af29f096","datavalue":{"value":{"entity-type":"item","numeric-id":1723399,"id":"Q1723399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377377$68649CCE-71AC-4170-A20C-313CA1CF5ACE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377377$C3813C77-D4B0-463D-84E6-AA9349084E6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2377377$3A1F9600-64F7-4020-A9C3-F00F95910829","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377377$5F5CF0E9-7866-4E8F-A05B-BA459EED79D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377377$B50BCD1F-6569-4067-BD52-E9B1B7930B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377377$387668D7-E5E8-49EC-9F73-3404D1FD7F6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c8e77ed2b98a7f1891cb3b234f75176219709ce","datavalue":{"value":"6182662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377377$4BC5D67A-11D3-4F18-8C5D-66100D9E0DDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377377$F2EC46E0-EF3A-4EB9-89A1-F995B7F8600E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bbc9f72e0da6aa8de39db946cf240aaa4c6cf75","datavalue":{"value":"deadlock prevention","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377377$CCC426D9-9C49-420E-8B70-00070FEC3B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56cab6eac7d5f99230a086fbb0ef1f50577b4200","datavalue":{"value":"mixed integer programming (MIP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377377$83C45FFA-EB0F-4F02-B81E-A336A890ED91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"924a030e719eaf8308d1f5819f767b0e85586ab4","datavalue":{"value":"\\(G\\)-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377377$526CB439-B50F-4FCE-BD4D-09F58908A5BF","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":"Q2377377$5F2541F0-BEB8-44C3-AD25-7ACE296C044F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2457d5698b27a98957bbc5381b7369aceaf3a83b","datavalue":{"value":"https://doi.org/10.1007/s10626-011-0124-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2377377$5F9E630D-E1F9-47EA-B751-C021424F8674","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58ddc0d0e0fb6bb962e29ed2c8682f256b0cd12e","datavalue":{"value":"W2043721415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377377$6763F199-743E-4F62-83CE-6F2E78BC8AB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a60320fdcfc60ebc533de00ef14ae04f00b96b5","datavalue":{"value":{"entity-type":"item","numeric-id":2713455,"id":"Q2713455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377377$A77BE616-B0D9-4322-90F4-975B0DA60BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432182cc4b74508fa5ea1504fd9e775ea9b2ee32","datavalue":{"value":{"entity-type":"item","numeric-id":5281775,"id":"Q5281775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377377$7C0F7B2E-4322-4B87-9900-DC136E17B3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b36eac8f23b756f1e1f06129fb077cdad7e9abb","datavalue":{"value":{"entity-type":"item","numeric-id":4507096,"id":"Q4507096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377377$BA7BFF3A-2F4E-41CB-A63C-E5F1BB25C141","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":"Q2377377$F258CB48-8B93-49D7-9B3A-96337E1B7006","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":"Q2377377$9E2B1231-F239-48AD-AB45-6262C9DE844B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31eb39a4255442f7c97578e707204b527c8f994c","datavalue":{"value":"10.1007/S10626-011-0124-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377377$EFB4DE6C-4913-4899-9281-9A32837E42BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3520d704dc795942040cfd5068ffb698dfdd57","datavalue":{"value":{"entity-type":"item","numeric-id":3063811,"id":"Q3063811"},"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":"Q2377377$58BBBDAF-9D08-4D19-A321-7BF37C524DD6","rank":"normal"},{"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":"bf28af26c3052c0b07cc1a671f3e70aa0d513722","datavalue":{"value":{"amount":"+0.8973758220672607","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":"Q2377377$0F6F3FA6-3602-48CD-8329-F89294C7209D","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":"1cfc2a70ea0968d4cd9d9789eaf47105da1448c5","datavalue":{"value":{"amount":"+0.880635678768158","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":"Q2377377$9C2CFBD7-986C-4272-90AC-6694BB4688E2","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":"2f050018bec6f890157a97153d92399f59877e68","datavalue":{"value":{"amount":"+0.8761638402938843","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":"Q2377377$A8CF2C02-C943-4EE4-80B6-E86AC1E60E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded430cf16662873a815a8c1e1307b79388ed592","datavalue":{"value":{"entity-type":"item","numeric-id":1723403,"id":"Q1723403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b266bdc0cf5f65ad8041bf74e6705a8aacfb92","datavalue":{"value":{"amount":"+0.8626718521118164","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":"Q2377377$AA845734-9002-45B0-89D7-85212BC72E16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2377377","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2377377"}}}}}