{"entities":{"Q2256887":{"pageid":2267630,"ns":120,"title":"Item:Q2256887","lastrevid":71695311,"modified":"2026-04-13T23:56:42Z","type":"item","id":"Q2256887","labels":{"en":{"language":"en","value":"Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6406956"}},"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":"Q2256887$3C84704A-591D-45FF-918F-D4E151315B41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea334b73d17809344105ee5ad6ac79587c2926f6","datavalue":{"value":{"text":"Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2256887$5BF2C577-EC32-4CC4-9A61-F27758E9C094","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28e3c3677fcff4fef4b88500a0501b2f4371cd8c","datavalue":{"value":"1307.93257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2256887$CF232C41-160B-4253-AAD5-D4C0AA56201B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4736cac42da51f90e99b9355efce94bcc06b59","datavalue":{"value":{"entity-type":"item","numeric-id":397542,"id":"Q397542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$0D14E390-CE6E-4261-BB39-456EF293F743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a57b7cb5d6852dc99c884475bcecc58d4177a529","datavalue":{"value":{"entity-type":"item","numeric-id":710705,"id":"Q710705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$4E6F9487-7608-4685-AD73-A27A1A20095B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"479784e7540b067b28b0c036a665848976358bb5","datavalue":{"value":{"entity-type":"item","numeric-id":172784,"id":"Q172784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$6DB8A605-44F3-445F-891F-C085645D9ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20f838b886625463a4d532ab3eeae7ed5215e4b6","datavalue":{"value":{"entity-type":"item","numeric-id":286506,"id":"Q286506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$47B7EE97-358F-4108-A4C0-C8AC6EFB661C","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":"Q2256887$0A01C0DF-F5C2-4E9D-B99D-65FFB446B3EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"327ec1e4b48ef8cb2eab85e47071bab036811132","datavalue":{"value":{"time":"+2015-02-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":"Q2256887$453EB4AB-083B-4798-8A94-2EACBD3489B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"274240efd90018f95ae4532695b25adbbb4370e3","datavalue":{"value":"http://hdl.handle.net/11584/44401","type":"string"},"datatype":"url"},"type":"statement","id":"Q2256887$3E00E45B-98B1-42DD-A1C3-DBE1AEF5BAC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2256887$E34DF732-C18D-41A8-AB65-66EEA00991D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2256887$3D32A1B0-9807-4D37-B2E8-07C66D9AA6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2256887$39A75CCF-210E-49B5-BB73-F235A987407D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0fa6f97a65a9f1187c1ca4c01a7923dac84f087","datavalue":{"value":"6406956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2256887$0FC64082-461B-4771-89EF-D596579A3DB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2256887$91109A2F-D1CD-4950-B167-009216B255E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2256887$222795C6-D75C-4CAC-8748-2FFFA5822B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2256887$44B589B6-EC42-4C38-AE32-D4BAAF081FA6","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":"Q2256887$36AB9654-7C5E-479B-9FB6-F96335FD1BBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9be04e612bbfa4784cbdff8b5d5fc89ac0a0f4b5","datavalue":{"value":"W2054032778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2256887$50CBE1FF-53DA-4004-B8B0-7012F540E72F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"133b906bf8b605f0de9c84605aa94c50ab305d71","datavalue":{"value":{"entity-type":"item","numeric-id":5273928,"id":"Q5273928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$2D475DCD-9C82-462E-A882-48CB262E68CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5758fd94a7421f1086603a1f55911e05922d073","datavalue":{"value":{"entity-type":"item","numeric-id":5282055,"id":"Q5282055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$5522F0A3-69C0-44EF-A6B5-FDC07FDA4C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695c41de62b23b3792f63a55782ca4967efe4a98","datavalue":{"value":{"entity-type":"item","numeric-id":1581036,"id":"Q1581036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$5E9E5CA0-4F95-4A37-8151-BE8539A24FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f608a96b180e467210d81d7977e167fdd1fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":5288500,"id":"Q5288500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$BADEBD3C-2D17-40D3-BDDE-E859071C3BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e14f67af0787821d424470b66df2aa9f94d5dc2","datavalue":{"value":{"entity-type":"item","numeric-id":1332444,"id":"Q1332444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$724B9E1E-5BE3-48B7-93A6-601918D09A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82a639238f170faf05bb4f8184f743a5d69455bd","datavalue":{"value":{"entity-type":"item","numeric-id":958258,"id":"Q958258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$4B75C842-6EBB-4980-A889-2FF810AA415E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc1943a11d880ef707acecc120b06cf27ca966b","datavalue":{"value":{"entity-type":"item","numeric-id":1332442,"id":"Q1332442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$2FF23BB0-C204-4F79-8A7C-D06B5CCA6EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6132e69c6a9061b25cc8779a8a61100d544268e","datavalue":{"value":{"entity-type":"item","numeric-id":5267072,"id":"Q5267072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$F6C5099A-57F2-42EE-BA69-42459F85D8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ce1e8b5acadd7ebeed4cb1a6702c8e01269e4b5","datavalue":{"value":{"entity-type":"item","numeric-id":5282235,"id":"Q5282235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$ED04C7D2-1122-4207-823D-A46D597882D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ae4890d1f5959529eee59384f864400900211c","datavalue":{"value":{"entity-type":"item","numeric-id":3493242,"id":"Q3493242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$9A1A2972-7FA4-4ABB-BB25-B3663D1E4D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7712fd4d957bff39228c21f262e6255cb63fb01c","datavalue":{"value":{"entity-type":"item","numeric-id":1360353,"id":"Q1360353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$3B20F6A1-180B-4593-A2C7-8E18BF039D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a54d218ecd53237777d26d1bd6759bb88c27602","datavalue":{"value":{"entity-type":"item","numeric-id":1298307,"id":"Q1298307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$31B32B58-099A-4B77-B1BE-84F7A107DEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9f8d47d84df67359522c82a907442bb6b7a1c3","datavalue":{"value":{"entity-type":"item","numeric-id":5347911,"id":"Q5347911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$2620D6EB-52D5-4B5E-A235-0EA46B0EAD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d0ff217b0ba28781efb8d30eb678482f7e202e0","datavalue":{"value":{"entity-type":"item","numeric-id":4219294,"id":"Q4219294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$15C74F09-559A-44BA-8759-2006618A9835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f254fb2c47573403d95dc8dc816c70507e882fa9","datavalue":{"value":{"entity-type":"item","numeric-id":5899708,"id":"Q5899708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$78B57FB5-1EF2-4DC4-9FCD-53F64990CC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fea3609ac89b632d4cd85cf6b973027777c5b78","datavalue":{"value":{"entity-type":"item","numeric-id":2256887,"id":"Q2256887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$06B065F5-7826-4C17-B1D7-BA7324D6DC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13a5dd63533bb3b916b58dc0d2110b75511ecaad","datavalue":{"value":{"entity-type":"item","numeric-id":3154377,"id":"Q3154377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$A365E5C0-78E7-4D3C-B80C-BF755CA46336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ab838dafed2c8aab1b2026ef3d24e40465f1a1","datavalue":{"value":{"entity-type":"item","numeric-id":5959841,"id":"Q5959841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$E927E72A-2644-4633-B014-455CE3990CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c30c928c5466779eee6d415e0675ea165098d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1822944,"id":"Q1822944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$139F9DA7-B5F2-4AB4-BDB2-4B5169438268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cd94a254cb7563f58a96d7f9fd6d6f00c00c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1911289,"id":"Q1911289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256887$9F687730-DB8A-43ED-AC51-323F49937AD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89518835596b5a8c1ab102d08f59eac4f3fea84c","datavalue":{"value":"10.1007/S10626-012-0152-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2256887$AFF363F8-185D-4F58-8CE7-373253E7A451","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d63027c66865a438b171fb8901de7a4a2fbea21","datavalue":{"value":{"entity-type":"item","numeric-id":2656745,"id":"Q2656745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87522d9376b5f880d715867889b7f1c7e502c1c6","datavalue":{"value":{"amount":"+0.8593771457672119","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":"Q2256887$AB07EF2E-6A2E-4FB5-8A2D-C911495C2A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93716ae6f8c0732fbcbb04b3c05553822cbd5348","datavalue":{"value":{"entity-type":"item","numeric-id":4684051,"id":"Q4684051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7edbb7e81062918d99952db7ec19d204f99fb475","datavalue":{"value":{"amount":"+0.8371309638023376","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":"Q2256887$63EF0777-93A1-4A1D-BE99-5FFE8B9BD6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d3256dcd2fdbf3e09f71941be1a566b4a6ce081","datavalue":{"value":{"entity-type":"item","numeric-id":2224835,"id":"Q2224835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042216586cf538893da355cf39ad2151cacaa183","datavalue":{"value":{"amount":"+0.8221495151519775","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":"Q2256887$B8ED884E-2025-439D-A6C7-C99A92D81ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4619710d03adf88a2a8bda7935365c992b1b2e22","datavalue":{"value":{"entity-type":"item","numeric-id":4671281,"id":"Q4671281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b635e5489b431c0db3e44c9e345bb26f410c89","datavalue":{"value":{"amount":"+0.815698504447937","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":"Q2256887$E0E7EBA9-34C4-40DA-9A5A-060BE3140DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c5321f04f2e4a56d1f11923f9d6a142967419c","datavalue":{"value":{"entity-type":"item","numeric-id":3415315,"id":"Q3415315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4b0f0707a8efc18169b5ad2efb806a40b9e4df","datavalue":{"value":{"amount":"+0.8036896586418152","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":"Q2256887$BA3E958A-BDC4-4AC9-8C7C-963D789435EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Supervisor_synthesis_for_discrete_event_systems_under_partial_observation_and_arbitrary_forbidden_state_specifications"}}}}}