{"entities":{"Q1389228":{"pageid":1399968,"ns":120,"title":"Item:Q1389228","lastrevid":46893264,"modified":"2025-12-25T19:31:27Z","type":"item","id":"Q1389228","labels":{"en":{"language":"en","value":"Supervisor synthesis for real-time discrete event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1164625"}},"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":"Q1389228$42F308FE-82E7-4160-9D67-CEA4B87259A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b917adeb1d4fc2c3b78ef57bff2f0273d9a171bc","datavalue":{"value":{"text":"Supervisor synthesis for real-time discrete event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1389228$EABF3F92-B320-4F36-BDFF-C277E82DA6DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de6f5d316a3f7119205c9cf9a54652feea6d418f","datavalue":{"value":"0911.93012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389228$D9C8A140-EF25-4AD0-B057-83E15C2CFABA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2867349b1158089754185065785c66ab0f3038b","datavalue":{"value":"10.1023/A:1008252325849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389228$D3600E9A-B769-477C-85A6-94CF612BB2AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea267611f33dbe917604a1a581f7d05d5b0ab4f6","datavalue":{"value":{"entity-type":"item","numeric-id":1389227,"id":"Q1389227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389228$B9745C0A-154B-45B7-8759-DD9AD74406A7","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":"Q1389228$F22A3C45-5274-4F20-A2BB-E82570F86701","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74a7dcc6fa266a508e51192b94ce02b3c025b866","datavalue":{"value":{"time":"+1999-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1389228$DBF92A7C-9213-46D6-9CBA-B4DB47DDE5FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389228$53684A9D-D354-4E46-B874-A549E2A04B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389228$C4DD7EC1-4789-47A6-AA23-44B69675D701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389228$0D51B96F-AE79-4B69-B41A-6CC6ACB8BEEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bf0c84293608ef85860580e55d83a8bca5f5c6d","datavalue":{"value":"1164625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389228$AA503E7D-6CB4-45A4-B321-1DC3885AA185","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389228$7E5A33CE-38DE-4959-9FB9-8ECA05BE812E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e0e66db613df6d9a28d9b35dfbdf47be56c2fe6","datavalue":{"value":"real-time discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389228$BC71DBFE-6DCE-4391-98E8-ABF514F9F999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c55a69ab75a59ca2cef73d9f8603d7a96f8cc956","datavalue":{"value":"controlled time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389228$DB6AF494-1381-47D9-AE99-A363F5AF7D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65f43de8457809d9192a5aaa3da199c4f7a55d12","datavalue":{"value":"control class graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389228$69CA88DB-5976-4A68-A5B2-E8F1FD6D05D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9f2826b2cf6a66bd0b3edb44febe1baf47d71ed","datavalue":{"value":"untimed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389228$722AAED7-162D-415B-AFA7-16153E2EE1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c787c9a22fc5227c328ea0bc6dc5fe9cec579d3b","datavalue":{"value":"real-time supervisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389228$FECAE713-FB41-43A8-9C3F-CD4D8DEEFC38","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":"Q1389228$1B1F109A-008D-4520-BF8E-2BE00A50B9CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070a7bc776ce130105c6893ca57bb9f10be62af0","datavalue":{"value":{"entity-type":"item","numeric-id":4848112,"id":"Q4848112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e7d7147489b7987a6352c314772aba483b974a","datavalue":{"value":{"amount":"+0.867624044418335","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":"Q1389228$B6C60122-71BF-4BBE-906E-D25C6EAF7043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83278ee85ba6ce74f5edc629ef38e8afb75f997e","datavalue":{"value":{"entity-type":"item","numeric-id":1115839,"id":"Q1115839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5210ce38f9fae1e6ee29b93bb799ce77aa3f278","datavalue":{"value":{"amount":"+0.8476606011390686","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":"Q1389228$8B998DC7-9FAF-465A-A499-BE082EC88C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b376c6353efcfa59b83ceb12106d12432b516f6e","datavalue":{"value":{"entity-type":"item","numeric-id":4297249,"id":"Q4297249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dbe1e9b6f9b4025b7e35b5705024c1853e9fd48","datavalue":{"value":{"amount":"+0.8371717929840088","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":"Q1389228$00FF21F2-D9EA-487A-83BD-E4BB2A35DBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4d10ec9a3bee74182b215f9b9d76577589ec19","datavalue":{"value":{"entity-type":"item","numeric-id":3493236,"id":"Q3493236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"397974c267c9430b41f684b745d05f6856f5f415","datavalue":{"value":{"amount":"+0.8241042494773865","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":"Q1389228$AC8C6BB2-B275-454E-B6DB-E7544CEF614B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1389228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1389228"}}}}}