{"entities":{"Q665122":{"pageid":666971,"ns":120,"title":"Item:Q665122","lastrevid":63409407,"modified":"2026-04-11T12:46:48Z","type":"item","id":"Q665122","labels":{"en":{"language":"en","value":"Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6011921"}},"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":"Q665122$4FAAB7AD-744F-4BA5-AC25-02EBDC89B504","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a39b7889cb727de3ef91b27844e3bcf67659220b","datavalue":{"value":{"text":"Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q665122$D60E6FC4-6682-4F33-83F4-360B4746D206","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6724414b4f14302c61e1bea6f1785c37386e2ba","datavalue":{"value":"1235.93153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q665122$0BB880EF-498E-4B3B-911A-32E53BEEF460","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65e27f601f8d6e44424bd538eb8bcdb24888983d","datavalue":{"value":{"entity-type":"item","numeric-id":665121,"id":"Q665121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$26CD4DC9-ADB0-4797-B7BA-66B59D7905CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f9f01ad1c30c33b396430ce82dcfb0939968f26","datavalue":{"value":{"entity-type":"item","numeric-id":445107,"id":"Q445107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$3175FE03-1F52-4CB0-A126-A5145C72E8E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d0f2155ba9995cae9f99d2ed79b4b1c769519a1","datavalue":{"value":{"entity-type":"item","numeric-id":254169,"id":"Q254169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$07C6663D-6A07-4130-8E99-27B3886A0B02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1c9a82d1ebbc11cd39281212ba1486fbed68665","datavalue":{"value":{"time":"+2012-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q665122$8DABD43D-4D7E-4253-A100-DF9071BF40B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q665122$49AB5899-16C6-455A-93E0-54ECB4102060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q665122$FAD93BAC-9779-4834-B9D3-111C2D32D674","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75e5766a88237a4999668fa87b60390beec7fdd5","datavalue":{"value":"6011921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q665122$D276B2BB-006B-4C1D-B6FD-F0D6FA90F9C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"789313651315616ce02c81a1ea7e803c2d83aab1","datavalue":{"value":"supervisory controller design","type":"string"},"datatype":"string"},"type":"statement","id":"Q665122$4AB69629-7A32-4D06-97BF-D5FE7DD28A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3641d67aa9409aec2cfd3ec34bf67677960d72c4","datavalue":{"value":"timed Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q665122$448E3D13-894D-4C32-9CAF-72E2ABE9F501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q665122$0EEE0063-6948-4E81-B857-9995A7C99427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q665122$D5DE02B4-D2F7-4A55-86B9-3C2EE4CBD9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6355a8ad52e3619000c8cf47952fa713220a28b","datavalue":{"value":"reversibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q665122$F8A56BB9-947A-4044-9E90-4AF2C5A83FA2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$963DEBCF-3708-4D22-AECB-78A21597091E","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":"Q665122$71E2327D-1AD6-4452-B697-6A1C0961FEAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43b3732088cf85fb850e699fe859a460d65ad857","datavalue":{"value":"https://doi.org/10.1016/j.nahs.2011.07.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q665122$A02098FC-735C-4630-A003-90F275096D9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6f28b5f484db49e4ebf9e11a5bb927e43db356a","datavalue":{"value":"W2011124896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q665122$2E3CB8D4-5946-4791-945B-7AF59D6E39D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca245651b431d0d2aaf2455462efecfe31f4872","datavalue":{"value":{"entity-type":"item","numeric-id":4840199,"id":"Q4840199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$77632223-BC2E-41EF-8417-4BAA7C9C793D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009a5ca3a692774ce97c20172be0f86fd2904afe","datavalue":{"value":{"entity-type":"item","numeric-id":1597067,"id":"Q1597067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$3A6F0889-3E89-4746-8DA9-50791B7EDF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6dd4d882f76bc73bbdc3fd690128cb347d45b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4220896,"id":"Q4220896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$3C3FD22A-ACCD-4942-93F8-155C6B666778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eae3c25282058bf80530b8b9245ecabcad2d82b","datavalue":{"value":{"entity-type":"item","numeric-id":4361121,"id":"Q4361121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$E99DC173-AEBA-4B11-8A2C-66ED577E7E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb311e231bb2ba5533630ece87b16385a6160c0b","datavalue":{"value":{"entity-type":"item","numeric-id":5266683,"id":"Q5266683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$2484F2A3-EFCF-411E-BD24-4037D830469A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b5e8f3a332ffe0118333f82438201e35c2a1dc2","datavalue":{"value":{"entity-type":"item","numeric-id":4246817,"id":"Q4246817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$3077299C-342C-4CE7-AC87-23C799376D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d77f77e1dd2abf219695bdabceee846370e368","datavalue":{"value":{"entity-type":"item","numeric-id":5273656,"id":"Q5273656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$AB14C8F9-6A6F-44BF-A98F-D14B59A9932D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$CD0E240C-62A7-4516-8783-810B216437E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1fa06990c14b68b91f6a9c81557de8c6aee44db","datavalue":{"value":{"entity-type":"item","numeric-id":4297249,"id":"Q4297249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$9766E2F4-4992-4B15-83D5-EE32498C4D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896344cbd018c85db5fa162769b0e47349d82497","datavalue":{"value":{"entity-type":"item","numeric-id":4837492,"id":"Q4837492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$AEAEF352-64D1-492F-8231-9F1A49AB002E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"412ac66b5b8745aebf627e57915d28459e0b555a","datavalue":{"value":{"entity-type":"item","numeric-id":816702,"id":"Q816702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$343F5040-F504-4371-9D5B-DCE833FFFE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56359fc8d6f1a21207feaf0239e06143e4ff61c","datavalue":{"value":{"entity-type":"item","numeric-id":5460613,"id":"Q5460613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$919E1B9B-7961-4987-AA64-47732144B573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4b27df433dd681bd3bffea572d668a1d25f01d","datavalue":{"value":{"entity-type":"item","numeric-id":4719062,"id":"Q4719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665122$6FB403F6-071E-45CC-AA0A-8F942B6C8DFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"996ff82769eb39db771605808f7edca82956e2b4","datavalue":{"value":"10.1016/J.NAHS.2011.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q665122$3FF45ABE-0A69-460A-87EA-0EB420C0F30F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c03b6d8adbef99d9cd9975eb82f59a77a67f04b","datavalue":{"value":{"entity-type":"item","numeric-id":5460613,"id":"Q5460613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb8b38869d6899cf8e28f0d97eba889e4e88458","datavalue":{"value":{"amount":"+0.8645583987236023","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":"Q665122$39BDB277-F6DF-4778-A9BA-090E56D20CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee78de4f37a7de84143b80dedcc3690923055ffd","datavalue":{"value":{"entity-type":"item","numeric-id":3151737,"id":"Q3151737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a346fa01a31710991879cb914828014fbdfc58","datavalue":{"value":{"amount":"+0.8537043333053589","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":"Q665122$05652B1F-84E0-4E7C-A4C3-E8C9BD12932D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44579b81ae958948cb228dc838ab071436780690","datavalue":{"value":{"entity-type":"item","numeric-id":4904496,"id":"Q4904496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23848051504a626b7170cfdb49b1af6e74bf10e6","datavalue":{"value":{"amount":"+0.8226968050003052","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":"Q665122$9F7B5972-9D6F-4503-9DAA-E763237ED885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628d9af9a3dfb68c52d5d3e51a04226aa5afba0b","datavalue":{"value":{"entity-type":"item","numeric-id":4361121,"id":"Q4361121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39600ba5c3fc774775cb53f47162da8589f7a7e","datavalue":{"value":{"amount":"+0.7775660753250122","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":"Q665122$FF9C3B31-4D42-4618-9916-F976D4746A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6dfa8e903bd10c570cd714c627d9e4da748b0d7","datavalue":{"value":{"entity-type":"item","numeric-id":4507096,"id":"Q4507096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86fa708dea33d7d483c5438652012aac49402548","datavalue":{"value":{"amount":"+0.765397310256958","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":"Q665122$1E88289E-34C6-46D3-A534-9B1CAD836FE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Supervisory_controller_design_to_enforce_some_basic_properties_in_timed-transition_Petri_nets_using_stretching"}}}}}