{"entities":{"Q1365652":{"pageid":1376392,"ns":120,"title":"Item:Q1365652","lastrevid":67255296,"modified":"2026-04-12T16:24:15Z","type":"item","id":"Q1365652","labels":{"en":{"language":"en","value":"A class of non-deterministic specifications for supervisory control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1057559"}},"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":"Q1365652$2C978CD5-D20E-4DFE-ACEE-CA3FBFAE6A8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b09dfb50c50ba5ee792607969c65d174151da9d","datavalue":{"value":{"text":"A class of non-deterministic specifications for supervisory control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1365652$D4E217E1-D85B-4D64-A3F8-C6F4C733B3DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73607b79cb37f02ed29f8719b8eaf981c02c7f0f","datavalue":{"value":"0889.93004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365652$E82BD331-0DF0-46A8-A65F-F39794ECBC31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fb91b5f99c9813751c5bac74b54aff34c7b6014","datavalue":{"value":"10.1016/S0947-3580(97)70063-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365652$443DDCD9-1017-4390-BCFA-DF14FE9DDFC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45f20bc078972fb8087b47a09eeaa25cf327dd63","datavalue":{"value":{"entity-type":"item","numeric-id":285794,"id":"Q285794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$FB9E2AA7-22E5-4CDC-8B38-4E6B7E0DE32E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f680ab37822a66c306de184badf1c6b2f8f85485","datavalue":{"value":{"time":"+1998-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1365652$69506ADB-7AB5-457B-96D5-B05638BEF2A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6bca86350a09ead393c0a9d3f2a5c415afab97ca","datavalue":{"value":"The authors show how a certain type of non-deterministic specification for discrete event systems can be used in the framework of supervisory control theory. A discrete event system will be regarded as a user-resource system, with a set of resources shared by a set of users. The users are seen as a specification on the behavior of the system. The sharing of the resources is modeled by interleaving the users, which results in a certain kind of nondeterministic specification, with a single initial-state and possibly multiple identically labeled transitions from one and the same state. It is shown that the supervisory control theory still holds in this context, with a slight modification of the definition of supervisor completeness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365652$44F149A6-8450-4FA3-87AB-F6BA4B4DAB9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365652$F4F958D9-25E3-48B4-B1EC-31B40D3F8BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365652$51A4C969-61BE-4EF9-81AC-E3BF919F44CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4466378e86c093c1dcf40dd53b05cc71ba84c048","datavalue":{"value":"1057559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365652$8F43AD48-83E9-4DB4-B885-BC12A90BD0AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f170a62bd60cf10202484d2a9eee1429bca650d1","datavalue":{"value":"manufacturing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365652$48A12768-2000-43B1-859D-FD7C605CC782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef65ece2a8e91217d8648bb337170b0517564b0","datavalue":{"value":"object oriented modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365652$17CD656C-E22D-489C-8CCA-7E695141F6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb2cb2dc2cfb819dc306fa4a714922501c09f0c","datavalue":{"value":"non-deterministic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365652$A3CFCD3B-0738-4403-A84B-0ECDC4BC2D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365652$12CE3FE9-1972-44F3-BEB0-45340B98848F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c26fd270e13d494fd7d56f0145a019a715aa825","datavalue":{"value":"supervisory control theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365652$50ADE904-0AEC-4941-A571-08965D9BB5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365652$B9DADE45-805C-4F3A-87E2-F37F330500AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4d8ba48e1c56bc172b89849eace0a6adbe1a054","datavalue":{"value":{"entity-type":"item","numeric-id":503185,"id":"Q503185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$305BCAD6-DA4E-416A-B33E-F7203C3C0524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"817b27d13ea016ee8733c704788529e875013839","datavalue":{"value":{"entity-type":"item","numeric-id":913765,"id":"Q913765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$D7D77A82-6A7C-461E-9CD8-DDF0C664301E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7eaf21f8d08020093b17ee563932c37db8fb08f2","datavalue":{"value":{"entity-type":"item","numeric-id":589283,"id":"Q589283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$6F0DD69B-F9AA-4114-8361-63E96DA19BF1","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":"Q1365652$C6C87320-1D31-427D-A5B3-6C5C7AE830C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$372057F5-74CC-4D35-8669-B5D8493E00BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e47b263a9a8ed8fc41f2fa74d52bf0b339258e","datavalue":{"value":{"entity-type":"item","numeric-id":1365652,"id":"Q1365652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$344C1026-DB36-4D91-9055-92FDB8198203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$DFE41AB7-DBD0-40DD-B9DE-A9A69DFCFBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$A317B8BF-74BF-40B4-A116-A22D5C17D138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce28f53f6a4dea746dcbf1af44928a23d8b5f60","datavalue":{"value":{"entity-type":"item","numeric-id":4763558,"id":"Q4763558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$C92D69F9-EE9C-4644-800D-2A899A49D4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daeb22c1d437f0baee10b01b3672130569b8418","datavalue":{"value":{"entity-type":"item","numeric-id":1333435,"id":"Q1333435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$B55AA691-4C3E-4057-BB72-D19EB4C31031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf3b0e40e760115c3ba93fc5858e3d8f8ba1ee4f","datavalue":{"value":{"entity-type":"item","numeric-id":1190393,"id":"Q1190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$5FAC7809-616C-4C2A-A435-74946EFF56AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0dd686e1ad53fc9cf006257f64b44b7ca0dcaa","datavalue":{"value":{"entity-type":"item","numeric-id":4876593,"id":"Q4876593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$915789FB-E30C-471A-9DBA-D542C0CAE0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143b6330c89eebb39cec89040361b0cd6906a8b6","datavalue":{"value":{"entity-type":"item","numeric-id":4896783,"id":"Q4896783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$539E4077-4851-4FB2-BDEB-52E43416E3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$4978833F-FD26-45D5-BF17-7EFEAB64DDA0","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":"Q1365652$E23AA68C-ED51-499E-9C69-A2E8098876D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ab2be6071838937b85ce6391c09d6be6fe7183","datavalue":{"value":{"entity-type":"item","numeric-id":4698796,"id":"Q4698796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$C48C1BBF-6B12-4A54-8A29-D68D942A221B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1ddbad64cbd5143153cb26e8ef463a3c21e4944","datavalue":{"value":{"entity-type":"item","numeric-id":4072797,"id":"Q4072797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365652$E4A891DF-78AB-4E4D-8F9B-083D78FAC728","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373397acf5ad16280790cf8b034aad9d96234567","datavalue":{"value":{"entity-type":"item","numeric-id":4363040,"id":"Q4363040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20da825bd528d7f89d3caa18f788f996f4cea9c0","datavalue":{"value":{"amount":"+0.8455891609191895","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":"Q1365652$A113C179-0821-494B-8F35-CC5F3E18B6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c759f97e724a6493e65f1c018ea947e660d82a4","datavalue":{"value":{"entity-type":"item","numeric-id":4395809,"id":"Q4395809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22bfcb624509722d9cb89de8601e5ab25256b06","datavalue":{"value":{"amount":"+0.8329162001609802","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":"Q1365652$9C74941F-7E69-49B0-AD64-2AD43FFE8431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f631fc725c3e7503863246f42e9cfabd53d8bb6b","datavalue":{"value":{"entity-type":"item","numeric-id":4763560,"id":"Q4763560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cfaf685c35485b47d72492ae67976f8e8db46b9","datavalue":{"value":{"amount":"+0.8239513635635376","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":"Q1365652$3AF8CFA3-12DB-4481-9070-D5ED584DCA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70fd387cf37ba9f3608ca180554c301ae7286cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4896783,"id":"Q4896783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4ed062884e475bfb705801b3c7b18c1247983f","datavalue":{"value":{"amount":"+0.8054577112197876","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":"Q1365652$E7E82965-33C1-41F4-8035-26350E2350ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A class of non-deterministic specifications for supervisory control","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_class_of_non-deterministic_specifications_for_supervisory_control"}}}}}