{"entities":{"Q1129729":{"pageid":1140478,"ns":120,"title":"Item:Q1129729","lastrevid":46884402,"modified":"2025-12-25T19:07:41Z","type":"item","id":"Q1129729","labels":{"en":{"language":"en","value":"A characterization of realizable behavior in supervisory control of timed event graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1192944"}},"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":"Q1129729$E22E5120-77F3-478A-8067-F6C6F588A0AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ec46605104561168026ef073397ba8bfb164397","datavalue":{"value":{"text":"A characterization of realizable behavior in supervisory control of timed event graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1129729$55F71C2B-9655-4BCB-ACD7-6E016F463CB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7e4f176fce00a5fcf2c31e7d495da4a954ff78c","datavalue":{"value":"0924.93003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129729$457935C7-BC3D-424A-A1A0-633FB2200876","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d94a77ff012904e33a4f7b10ac1193b9b9787c04","datavalue":{"value":"10.1016/S0005-1098(97)00121-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129729$E69085A3-108C-48D3-8CA3-63708D24BFE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48b627e529758f1d91e87f9dfa561d88d2d06bc8","datavalue":{"value":{"entity-type":"item","numeric-id":225308,"id":"Q225308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129729$71E4D3B4-0773-466C-8FA9-156F130D04A1","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":"Q1129729$ED78ADAE-71C5-4D62-A452-E14A369B4804","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31865ebef8c534af5190673dcbd870c8ef3b53f0","datavalue":{"value":{"time":"+1998-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1129729$411112D8-2A16-46BF-B491-3A82B377A7B4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8cd4c0776930287f2939cdcf26d4e50c8efaa176","datavalue":{"value":"The author studies supervisory control of timed event graphs in the max-algebra framework. He addresses a control problem which requires that the behavior of the supervised system equals the specification set.   A necessary and sufficient condition (called strong controllability condition) for the existence of a control input set to solve the problem is presented. Moreover, the author derives a necessary and sufficient condition for the supremal strongly controllable subset to be nonempty under the assumption that the desirable behavior is specified by the upper time bound sequence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129729$F386E3D4-429C-4B72-8690-935546AD127A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129729$09AAF212-23D3-4DA8-BDEF-AAE4254EE0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129729$2624E007-6D14-4049-B081-CA479E00D05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129729$ABE28082-B885-4F17-B20D-D40F7929976D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55fc8e62df539e0bf469580b6ed99b66d58bf7ac","datavalue":{"value":"1192944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129729$CF80C769-3C71-411E-974B-80A0D5500BF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd59b8d9f40734ce5500c0914b2d395cf8fa16fc","datavalue":{"value":"discrete event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129729$D463FF52-6966-4AA8-9A1D-0AB3B8D0DEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129729$CF3A36E2-4B46-4652-91FA-94EFF61E02B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b08d12d97cd0bf35de6da45ca595df0fa493ad","datavalue":{"value":"timed event graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129729$212E6F8B-4E1F-4168-9EE7-6A7FA56F89E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"481bfb24d5db0966ea8dfe76ceca636a5bc239e7","datavalue":{"value":"max-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129729$9FBEA16D-408E-4DBA-98B0-2CE67D88B15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ede78b3394516352fd520682a0a1170ec59e39","datavalue":{"value":"strong controllability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129729$CDDA8F41-F468-417B-BDE2-90BEB60A8BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10c0544bab9fe84f02da6bc73e58cf83b52c7fef","datavalue":{"value":"supremal strongly controllable subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129729$F85448FF-47F8-49E6-A7F8-323F7676F32D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2bd152c47da1e590d7463e91ee84cdb7d2fbcbf8","datavalue":{"value":{"entity-type":"item","numeric-id":587477,"id":"Q587477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129729$4D85C909-FF94-4609-ABF9-A460C0BDD3A0","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":"Q1129729$4016763F-2E1E-4B14-8421-63A33C704BFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249580a521efbf8ec95a14e96ab42705350cf25","datavalue":{"value":{"entity-type":"item","numeric-id":4304869,"id":"Q4304869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129729$E5450CAF-DD66-42FA-A357-A13A868CFA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cdc8126c40014640da95a112de8c8df426e5","datavalue":{"value":{"entity-type":"item","numeric-id":4884121,"id":"Q4884121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129729$6BE86EB0-D105-4FAC-8F1B-0736D24064DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eddc054d958ad7334fdd5825dda94c32566302e","datavalue":{"value":{"entity-type":"item","numeric-id":4876585,"id":"Q4876585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129729$A982C041-79D2-4571-9FA1-BF6E1069D9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a339108f845f381ae162edfeda7b58a976de693","datavalue":{"value":{"entity-type":"item","numeric-id":1254944,"id":"Q1254944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129729$32695929-2547-4206-952F-41DF40AA8298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de9e841f178e801d8093818d54ed00b46f55cf3","datavalue":{"value":{"entity-type":"item","numeric-id":672379,"id":"Q672379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129729$7DC4900C-5656-490D-95E4-22966995E521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55eaafb175df6f659de6a280bf14e99ab00ef736","datavalue":{"value":{"entity-type":"item","numeric-id":5288513,"id":"Q5288513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129729$21C11764-678C-41B4-9D85-78C6084215DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bb8b14ad8cc1156ffba35774e9664428b8a668","datavalue":{"value":{"entity-type":"item","numeric-id":3141565,"id":"Q3141565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129729$6A67830B-6CDB-40FB-BC0F-B812F8E18BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129729$AD554177-144A-4C2F-88CB-4FCF6B52D4C1","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":"Q1129729$A1ED043C-86E4-4A23-BC9A-654854A40CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0806fb681496566fad655db0a40418d191770ea","datavalue":{"value":{"entity-type":"item","numeric-id":1113863,"id":"Q1113863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129729$6F26918F-4537-45C1-96C6-AAC800D4759B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90c17c72e0b054828911128b05e8999b31b736a9","datavalue":{"value":{"entity-type":"item","numeric-id":4546954,"id":"Q4546954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871edd3d8254aaf131d290f55d5f6c78f1c847b9","datavalue":{"value":{"amount":"+0.8845019340515137","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":"Q1129729$D99256E0-54C7-4877-8AD3-1AF59A914015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abbb2e0ad6a3eea23d86c572ec7e5f6ad1a8e051","datavalue":{"value":{"entity-type":"item","numeric-id":1879135,"id":"Q1879135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea5c66846a0c9ff50f7c07e698dceba91a4a42bc","datavalue":{"value":{"amount":"+0.8375527262687683","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":"Q1129729$24D22E71-4214-4A3F-8365-2D2B94A3FFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47cf5ef3dbb7e0b42985efce08ebf3aec631dad6","datavalue":{"value":{"entity-type":"item","numeric-id":4763584,"id":"Q4763584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b8624b7aa122f8cac4a823dd2508df5ce86dcf8","datavalue":{"value":{"amount":"+0.8132747411727905","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":"Q1129729$8AFC0677-34EF-43AF-AA77-4037B9E3D5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2878da5f23cbfde81c0c09451bd002d3e8f810c5","datavalue":{"value":{"entity-type":"item","numeric-id":4506569,"id":"Q4506569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44fb7a1fb650110523f8fa22052dcd2291164bdb","datavalue":{"value":{"amount":"+0.8113845586776733","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":"Q1129729$78517B53-48FD-4BF4-B9A6-1AB2DF11D62D","rank":"normal"},{"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":"424b4c016e6063d621d6359dc608e8fc5d8900f1","datavalue":{"value":{"amount":"+0.7997098565101624","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":"Q1129729$FB23DEF2-F92A-432D-A1CA-79B814121527","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1129729","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1129729"}}}}}