{"entities":{"Q1879135":{"pageid":1889877,"ns":120,"title":"Item:Q1879135","lastrevid":82439711,"modified":"2026-05-06T20:54:40Z","type":"item","id":"Q1879135","labels":{"en":{"language":"en","value":"Supervisory control of extended timed event graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2101815"}},"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":"Q1879135$894C84CD-47EC-471A-B52D-AA683248DB9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6e372c0faab2270a5ce28f7e4b31e3758974359","datavalue":{"value":{"text":"Supervisory control of extended timed event graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1879135$78F2BC3E-1761-4E5D-B2AA-72C0FEEC8B69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a0684402a02d5b7586081ee81d884cf2b67f7cc","datavalue":{"value":"1064.93029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879135$15803916-AB9B-4299-AF8A-13797DC40F39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e801b6ddf5b31cb2d9ecd7fc94e3b1998cf4a35c","datavalue":{"value":{"entity-type":"item","numeric-id":1879134,"id":"Q1879134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879135$0A94DB87-C8C6-4959-B70D-F0329FD185A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"099d4b3826fce68d22fd9b3915cdbd3e6ac0e863","datavalue":{"value":{"entity-type":"item","numeric-id":182047,"id":"Q182047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879135$ADA028A9-79EC-4792-B544-5997CF00A991","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bd8a7678534b4c4a434a737b8e34eefad997d7a4","datavalue":{"value":{"entity-type":"item","numeric-id":176689,"id":"Q176689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879135$37F1A146-62C0-410B-8347-05E5CC7A6E7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7bd962bada8b0dc37e98aacdd29c36343a02c75","datavalue":{"value":{"time":"+2004-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1879135$611608D3-8ED9-4037-82DD-B02CD637728D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"82cdb0e0de67596badabd61efbfa312017aea270","datavalue":{"value":"The dioid formalism is used for exploring the dynamics of extended timed event graphs (ETEGs) related to place delay. The approach to supervisory control of ETEGs yields a necessary and sufficient condition for the ideals of the set of firing time sequences of transitions to be controllable. The paper also shows that all the strongly controllable subsets of the set of firing time sequences of transitions form a complete lattice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879135$0D56564A-1380-47D1-A7CE-21AB65E0F67B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dec0e41eefaf1522a0e8d74c78cc72e69d2284a6","datavalue":{"value":{"entity-type":"item","numeric-id":449653,"id":"Q449653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879135$BDE9D4F6-A9EE-4685-BC5F-88DE8F63F497","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879135$7DF8BFE5-694A-460D-8D21-D61F1E0C3D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879135$5C3B6B35-7A5D-4156-99A9-DB377C8F5FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879135$3F90B6C0-7985-46DB-822A-0E3DE1E80E72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"368c6c58dc5570fa3b203239627dbd1db29b30b5","datavalue":{"value":"2101815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879135$D4571E70-70A3-419F-85FF-1F0421EB1877","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879135$247D54B4-6A11-4675-BB63-49833AC3CE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b08d12d97cd0bf35de6da45ca595df0fa493ad","datavalue":{"value":"timed event graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879135$FFB31B8D-584B-45B8-BB0B-4CC0A457FD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203ffd04757a7cce3de571c128b0f705ac466c13","datavalue":{"value":"dioids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879135$F7CC7E9E-FD10-4147-9A52-197628E9999A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ede78b3394516352fd520682a0a1170ec59e39","datavalue":{"value":"strong controllability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879135$D6EBBE34-0AA1-4DC7-B9E4-54AB6BD9B00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879135$9FC5E522-D425-49B0-A6CC-69EF4A34A72F","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":"Q1879135$C84B831B-F654-4372-A3D0-4BA39DBADD4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79cca186223b0188b60272a5abc6da51d0da1488","datavalue":{"value":"https://doi.org/10.1007/s10255-003-0103-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1879135$B31F1B2C-5266-4715-845F-8885CBC89162","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"829146fbfe84caaff0db449e4120bf9f76a47b30","datavalue":{"value":"W2111404599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879135$5CC50D7B-B93C-407F-B370-75D839F7E583","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":"Q1879135$6B58FBFD-CF28-4B0F-8F53-7D64BA9A223F","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":"Q1879135$98F5738C-D9A8-48AF-9140-6C02293FB6E3","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":"Q1879135$169FD6E0-D0E6-4F44-9DF1-3D8CDB2F5E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0c5aa48fd717fa8b3d8c4e30dd3985433e1b4d4","datavalue":{"value":{"entity-type":"item","numeric-id":5650690,"id":"Q5650690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879135$CA20C5D9-9689-45AB-A707-27EA5B4D9DEA","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":"Q1879135$1CB874C4-D972-4DD8-A082-CFA1C1E12CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef0f52454eae2d51d820bdf526091de472f348f","datavalue":{"value":{"entity-type":"item","numeric-id":1129729,"id":"Q1129729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879135$E75615A7-01B6-4169-86ED-EC50B59FAA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031df70113605d718d9faffad8e588a62f029cae","datavalue":{"value":{"entity-type":"item","numeric-id":4506569,"id":"Q4506569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879135$FA28CFA5-3694-4AAC-9C17-97BB446BF5AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e62d0097c571a5c95d299d57685e045b780e3ce9","datavalue":{"value":"10.1007/S10255-003-0103-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879135$078CAE7A-4E7E-4BBF-AE1C-7F40B3E2F553","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":"4f9fa4894d9aba75803668c1ce7e8294cdefa382","datavalue":{"value":{"amount":"+0.8419869542121887","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":"Q1879135$D92D0737-3106-42B7-BD2E-BA18CEEF52B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536123f85b7338cecbf4a8882d9a192197a8f84f","datavalue":{"value":{"entity-type":"item","numeric-id":1129729,"id":"Q1129729"},"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":"Q1879135$4083E4F0-262A-4F17-A57A-FD17D2C8475E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f1a79077b379981486024be355a3ba5c2c2a61","datavalue":{"value":{"entity-type":"item","numeric-id":503033,"id":"Q503033"},"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":"Q1879135$83AFE213-7EFF-4EAA-B5C8-59A710752F55","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":"dbe409db41586d4f3d7fa555267843acdcf2fa21","datavalue":{"value":{"amount":"+0.7984147667884827","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":"Q1879135$0BD84798-8B91-4BC3-97D8-4411F1803373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963d1f21771f359c3aa467c0d3419f3b941b92e7","datavalue":{"value":{"entity-type":"item","numeric-id":2197582,"id":"Q2197582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b990fd86320a5f4347296a06798c8189713d5132","datavalue":{"value":{"amount":"+0.7981706261634827","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":"Q1879135$35889564-154E-4180-8745-F9D70053C0B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Supervisory control of extended timed event graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Supervisory_control_of_extended_timed_event_graphs"}}}}}