{"entities":{"Q2350813":{"pageid":2361556,"ns":120,"title":"Item:Q2350813","lastrevid":74091216,"modified":"2026-04-14T18:19:54Z","type":"item","id":"Q2350813","labels":{"en":{"language":"en","value":"Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6450299"}},"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":"Q2350813$D17A41BF-2F9E-43B4-AE40-128F4C5BCE70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90cb53cba8e0888d1e6e4e1be96f027c0e7dd380","datavalue":{"value":{"text":"Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2350813$017930E3-1FA4-4D54-8600-B4D5BD688B1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc1e5ec60245a08b667a9d6eb7d141ef2fa14529","datavalue":{"value":"1315.93059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350813$A97BE867-1D3A-470C-A77B-CF7E0EE8407D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd6f8fb16ae66aea2882af4880bd5c325e59c773","datavalue":{"value":{"entity-type":"item","numeric-id":900225,"id":"Q900225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350813$CA87923B-0169-4771-80CF-D1365F3B566A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6e95c2cca3cbd72ab981922a63c22a320958e6e","datavalue":{"value":{"entity-type":"item","numeric-id":446717,"id":"Q446717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350813$9D8860D0-9BE1-4C69-BD17-ED476BE3ADC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c7f0ab59bd35085a94f8e087ecc2821daca0b30","datavalue":{"value":{"entity-type":"item","numeric-id":188434,"id":"Q188434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350813$26B52985-8C73-4BCF-94AA-6653D6B6D6D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350813$8589ECBF-B4F9-40B7-9C00-ADEEC2C7370B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d118b8ecba20bb8bb055e8776c8b61374bfe3149","datavalue":{"value":{"time":"+2015-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2350813$CF953229-E549-40D3-BFB7-0812A268ED77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350813$92305780-755B-417B-8B67-B62F181BAF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350813$46526845-674D-4259-BAEB-06F764EBCB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350813$B0F315E8-DAAD-4126-B840-79FB0146E343","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9843631cdcae4fa4e2549c8fadf8e70232d048b","datavalue":{"value":"6450299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350813$1836CE79-73F7-440A-BD00-51904DC612FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350813$2131697B-527C-4F8B-BC7B-4AE6D50CF559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350813$396DA71B-F913-42C3-8641-D3C8A4782DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350813$75C9DBF2-E623-4391-B2A9-D6D0A9400F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350813$D94BBEA7-84B0-4A51-A84C-0FC2ABC3170E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbdf73ad579c2003ce739cd0d18214636fe7ee8","datavalue":{"value":"monitors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350813$C222ABC7-4451-4CBD-AC62-573ACAC3E411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b88d0baff195f3543bbbae3e0dbb2f21c18cb589","datavalue":{"value":"linear and nonlinear classifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350813$6136DEA3-B2AC-4B84-8647-CFDE60ADC94F","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":"Q2350813$52FA1459-57E4-42C6-8310-C6E46764986E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8df2975b9ec08a0d929992a4b17478c74e3fece","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2013.08.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2350813$BC971F00-865F-48AA-AA80-FE9D25F08A3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"953c0a6d72437fee4b6183157f31eac30426fb14","datavalue":{"value":"W2010353902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350813$7E6C2EF5-61D5-418B-A140-766789866C1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69f9d7b2afb7ae2d34ad513c544501291d22b6e3","datavalue":{"value":"10.1016/J.AUTOMATICA.2013.08.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350813$53D92D07-5C0E-4EC5-88E3-2B4B195C6EBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9957ab93dcc702926d652e17256d3e4c126e01","datavalue":{"value":{"entity-type":"item","numeric-id":5496930,"id":"Q5496930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba421fdb541ea2def8e69d9738215b2f20a900a","datavalue":{"value":{"amount":"+0.8204652070999146","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":"Q2350813$3C082A35-178F-44CF-86BA-D67AC75F50E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ef1a3d7999e9ebcc5413c43267b2177aa15b4eb","datavalue":{"value":{"entity-type":"item","numeric-id":2501322,"id":"Q2501322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05356f0f7436221558ed5884b5b702284755cf5c","datavalue":{"value":{"amount":"+0.8167305588722229","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":"Q2350813$AA181B79-41AA-418A-ABCC-822D634DF7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302cbb0cb71fdb78affee0400b2c05ef54609214","datavalue":{"value":{"entity-type":"item","numeric-id":4575107,"id":"Q4575107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366ffdce212bb128c255ef202ac7fbd923936b0d","datavalue":{"value":{"amount":"+0.8114268183708191","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":"Q2350813$5E34C935-8728-4EDC-9210-65A3550205DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7382a268e9267ceb21a3a7f369db792e4d52582d","datavalue":{"value":{"entity-type":"item","numeric-id":4980886,"id":"Q4980886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da482a1bda297ee017a068ad5562341b6c87bbe","datavalue":{"value":{"amount":"+0.8099927306175232","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":"Q2350813$36F8C936-C83B-4696-9DCB-CFD0226E6AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39dae33050c687e14c318db3c2251129347a63c9","datavalue":{"value":{"entity-type":"item","numeric-id":2342792,"id":"Q2342792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"713f1a5063905010acdedc1fda43e083aa4731d0","datavalue":{"value":{"amount":"+0.7940919995307922","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":"Q2350813$2B542002-34E7-4DAC-941F-CF69F486653A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Integrated_design_of_optimal_supervisors_for_the_enforcement_of_static_and_behavioral_specifications_in_Petri_net_models"}}}}}