{"entities":{"Q5953553":{"pageid":8130355,"ns":120,"title":"Item:Q5953553","lastrevid":47729350,"modified":"2026-01-02T13:29:23Z","type":"item","id":"Q5953553","labels":{"en":{"language":"en","value":"A modified normality condition for decentralized supervisory control of discrete event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1695144"}},"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":"Q5953553$C5212B48-2D0D-42AD-ADBD-23410D845ADD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0a3a51fa24747d5d6a56265207fe530dfb5cfd7","datavalue":{"value":{"text":"A modified normality condition for decentralized supervisory control of discrete event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5953553$CC04A69C-5939-40FB-A2DB-38B8EE01C7FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c431a392ea150b65a664ceee8d7f26830e8e1f19","datavalue":{"value":"1015.93033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953553$82DF687C-C2C6-4C9B-BFF0-DF4383D1ACC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0fc598db7f0403adda470280af04ed688bb1a17","datavalue":{"value":"10.1016/S0005-1098(01)00187-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953553$482FF149-EFC2-47A9-88BF-D187EA895F47","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":"Q5953553$DE24C211-11D9-4F6B-9B9C-ADBBB374BBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e85f709cd4b395dba88cf32dadf41e296a3f224d","datavalue":{"value":{"entity-type":"item","numeric-id":225309,"id":"Q225309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953553$2C47DF56-DDBA-4B11-A576-A054261C7E2B","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":"Q5953553$9B1C52F2-A847-4AD1-94E7-D6B469C0DEB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5cb42786aa5df8aa2e8d3fe9d7f16860c13352e","datavalue":{"value":{"time":"+2003-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5953553$11A10621-AA64-41CA-A321-F87375C10B29","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"176f77647800f8f532f198de794c212f0bfe55b3","datavalue":{"value":"The authors study nonblocking decentralized supervisory control of discrete event systems. They introduce a modified normality condition which is weaker than the original one and stronger than the co-observability condition. Moreover, it is preserved under union. Given a marked language specification, there exists a nonblocking decentralized supervisor for the supremal sublanguage which satisfies \\(L_m(G)\\)-closure, controllability, and modified normality. Such a decentralized supervisor is also shown to be more permissive than the one which achieves the supremal \\(L_m(G)\\)-closed, controllable, and normal sublanguage.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953553$EC098311-B69E-45B3-9B94-90B081AEA12B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"21b3bff3bc5782b61a4cdaf0460d72d8222b6997","datavalue":{"value":{"entity-type":"item","numeric-id":587656,"id":"Q587656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953553$F04E556E-D9C8-4CD1-BBBC-8DEE2114D866","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953553$961103BC-6526-4804-B3A5-F90669B507B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38822e0c30cb4d87278a7a9a067f8d6b4b31dddb","datavalue":{"value":"93A14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953553$6F6772CE-A04C-4A29-A02E-8350A1171B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953553$B7CB5B67-3AB9-4923-A79F-04A89DD9B0FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a211da1838e2251ee8b0e6f4855531e4eb5be4e","datavalue":{"value":"1695144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953553$29225FBA-000A-483E-B0DF-663B1463AE3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c365830d6af9739fa7de7232423f3ebc2e48213e","datavalue":{"value":"nonblocking decentralized supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953553$B8EABA17-47F3-492B-9400-D21EDB9D0A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953553$9A2D4CD1-60DF-4326-A279-4DA2CD290D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c760a280cee3a6940eb4e4c3f3cd6ed847c0d74","datavalue":{"value":"modified normality condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953553$9E6B0ADB-07C1-4833-8B4F-E103825020F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70d851dab7293fad97fc070aef83e0be7645d846","datavalue":{"value":"supremal sublanguage","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953553$C3767A11-A8A0-4E68-9DFE-167C0663A818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3c2114da5c8947799664e3e00769b7a3f000d15","datavalue":{"value":"\\(L_m(G)\\)-closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953553$BA1B0FB0-5194-48C1-AD4D-C8D8777A4FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82e5295fa967420db17bb05d1fd567ce5a7917b7","datavalue":{"value":"controllability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953553$0414C2EB-73D1-4B73-9290-E5BDBB69377A","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":"Q5953553$262F32BE-B0C7-4508-83C9-82B14FCEB85A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c99a61cfe1d6611c26ca0e19aa8a4d2b10de3a","datavalue":{"value":{"entity-type":"item","numeric-id":2730219,"id":"Q2730219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953553$D68EEA99-72F4-4A5C-BD9A-264D01E3CA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda7863432bdf6fc9332185257b16e0d61f77f39","datavalue":{"value":{"entity-type":"item","numeric-id":3780844,"id":"Q3780844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953553$323109CC-A625-42A6-8818-5E18BD1350CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59f27ea49a6482dcc9ee4690a1d372918e837d9b","datavalue":{"value":{"entity-type":"item","numeric-id":4875986,"id":"Q4875986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953553$2720849A-0D3B-48EC-9B10-D0F13AB49F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6359ec5babc71e62b711dc2882625376d761e84f","datavalue":{"value":{"entity-type":"item","numeric-id":4840936,"id":"Q4840936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953553$F82445E0-5FEF-45D6-A68C-A82742E220F8","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":"Q5953553$3A035F13-0508-42F7-B361-1D05C4AEC7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7b966f5781c835b7c3966f5b3ab3133252132e","datavalue":{"value":{"entity-type":"item","numeric-id":4507465,"id":"Q4507465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953553$AB02CBE1-AF51-4C0C-A2F5-22BB16EAC6E0","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":"Q5953553$14A433B4-8C2C-4D63-919A-D62BBBAC2E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09e50f6a7a6fa4a36a57d7df7ec9adb2f322ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1814432,"id":"Q1814432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953553$3C98051F-48F1-46A3-A4A2-4F97D9431E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dd2a3abf043fa81e3cd0573192ece3199721d","datavalue":{"value":{"entity-type":"item","numeric-id":4031515,"id":"Q4031515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953553$5C1AD0B8-B873-4DD1-B585-4A2C1A16FA45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1c7ce1d801a0082efcd6fc91c2d028938919f7b","datavalue":{"value":{"entity-type":"item","numeric-id":869096,"id":"Q869096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52140292446328a1067e3e51f7fa7a38afbf99b","datavalue":{"value":{"amount":"+0.8371101021766663","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":"Q5953553$D9D7FA29-CF85-473B-8758-E61BD940F910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6f731c58c356fb16bbcbffa4712eccb3b85fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4307441,"id":"Q4307441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d541a9b64ee2666ceaf1606b2b40498c53b61255","datavalue":{"value":{"amount":"+0.8316885232925415","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":"Q5953553$FB7634C1-C2B5-4763-8496-604F127574B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee6ab77dbe06f1b93670d9969dc7f4b5f77eeb2","datavalue":{"value":{"entity-type":"item","numeric-id":1822944,"id":"Q1822944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b41d3031391de7cd9e01c059e97bc917ee805a36","datavalue":{"value":{"amount":"+0.8231532573699951","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":"Q5953553$ACF2531B-5222-4597-8ED6-23675ED8B68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039fa2f09c92a48ed764aa962749b49e63d6b499","datavalue":{"value":{"entity-type":"item","numeric-id":4926342,"id":"Q4926342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f616ce0d5a5d325dae4396fe2d5b8ac35b5a73","datavalue":{"value":{"amount":"+0.8077778220176697","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":"Q5953553$A2F7EACC-6182-41A6-8EC7-D149EA66649F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6439066b462739a0c6ec471110b386ab4e266bce","datavalue":{"value":{"entity-type":"item","numeric-id":1208142,"id":"Q1208142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7c7110affe227e25a11798618d08461b2d2940","datavalue":{"value":{"amount":"+0.8070910573005676","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":"Q5953553$94B65F8C-2823-4C8A-AD3D-6AED2D2C90E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5953553","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5953553"}}}}}