{"entities":{"Q1723403":{"pageid":1734144,"ns":120,"title":"Item:Q1723403","lastrevid":57279831,"modified":"2026-03-27T20:11:02Z","type":"item","id":"Q1723403","labels":{"en":{"language":"en","value":"Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7025411"}},"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":"Q1723403$9A08E434-1269-4AED-8E72-35D3F254BDD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fe6e50c321278a4b96692aa078bf5df204ec1fd","datavalue":{"value":{"text":"Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1723403$BCCDD811-A949-4C73-B0A1-C0AAEBE17822","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4eb3dcee4ee070a05879272953e5fd9986c7499","datavalue":{"value":"1418.90102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1723403$1B80963B-46E4-4EA1-B8AA-C8F1FEDA1E1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f44a9f946a6828a7ac39e79a58e0bc235e374fdf","datavalue":{"value":"10.1155/2015/579623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1723403$D89BBB34-B3DF-4401-B9A8-EC9F7F105C0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86d0ee5cd6659861961a8842554278c6499758fc","datavalue":{"value":{"entity-type":"item","numeric-id":246037,"id":"Q246037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1723403$80BDB2A8-8EE4-4A6D-9465-CDD3B7E0E875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"173f9edf66c374abd00229bbcb879c61af29f096","datavalue":{"value":{"entity-type":"item","numeric-id":1723399,"id":"Q1723399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1723403$028C244C-9E79-4981-A70D-8224D8E7C513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28a9f2793091508ea051175e93c779122b6e4087","datavalue":{"value":{"entity-type":"item","numeric-id":1723400,"id":"Q1723400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1723403$AD965762-15B8-4C8E-8C91-76C5EE1B5FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e43974abaeb095d18d41195443ce0f8589ee3a57","datavalue":{"value":{"entity-type":"item","numeric-id":1723401,"id":"Q1723401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1723403$F2C2B0B1-BD7D-4238-AC45-5A087CE77D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dea12c1ed3541ddd823f47c26bdf3cb6c3740d7","datavalue":{"value":{"entity-type":"item","numeric-id":1723402,"id":"Q1723402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1723403$D276F78D-6DCB-4B2C-8928-17445C694D57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5ea7bc024fe2946ca15646035f056e2ab96db7a","datavalue":{"value":{"entity-type":"item","numeric-id":169945,"id":"Q169945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1723403$FAE65BB7-ED76-410D-9598-41DEE30D2E58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90e6131927e2f821390d615ecfaa0e74b7083d76","datavalue":{"value":{"time":"+2019-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1723403$38C37B0F-5B3E-4184-8C85-A0C95654EFC1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a68a291c4fd4269bfda3aacd693e925960f57d4e","datavalue":{"value":"Summary: This work develops an iterative deadlock prevention method for a special class of Petri nets that can well model a variety of flexible manufacturing systems. A deadlock detection technique, called mixed integer programming (MIP), is used to find a strict minimal siphon (SMS) in a plant model without a complete enumeration of siphons. The policy consists of two phases. At the first phase, SMSs are obtained by MIP technique iteratively and monitors are added to the complementary sets of the SMSs. For the possible existence of new siphons generated after the first phase, we add monitors with their output arcs first pointed to source transitions at the second phase to avoid new siphons generating and then rearrange the output arcs step by step on condition that liveness is preserved. In addition, an algorithm is proposed to remove the redundant constraints of the MIP problem in this paper. The policy improves the behavioral permissiveness of the resulting net and greatly enhances the structural simplicity of the supervisor. Theoretical analysis and experimental results verify the effectiveness of the proposed method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1723403$B2AC26F0-3E9D-48F7-A0D6-0958F069A205","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1723403$B4A4FF96-4851-4075-B764-51074114B9E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26a28af378753faedc19448921dd96abaca9538d","datavalue":{"value":"7025411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1723403$B80B1E3D-7F47-435F-AA20-6BCE46233101","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a3b0975d280d164d32f7ddbbf3d5a8e4008b8eb1","datavalue":{"value":"Q59106008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1723403$65AA4EA4-1524-4ACA-AD46-81541AE55314","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":"Q1723403$52E79E48-B60D-4D94-90B4-9673A7AE3CCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4527f09e8577984aedd2718e89d9c1c469dfe2c1","datavalue":{"value":"https://doi.org/10.1155/2015/579623","type":"string"},"datatype":"url"},"type":"statement","id":"Q1723403$F0D63A23-5D84-4BD1-B656-686DE83A890C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8529876e9688885abc69f98c5f38a82f5b7c8d46","datavalue":{"value":"W2185985395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1723403$BF377137-D8F2-4F3E-9DDE-13F0C4649532","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63006d257d7a2e048f09442f14abaae3d89f8e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4540213,"id":"Q4540213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1723403$08A73B8A-3354-46A6-9030-75237511398C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8e0b96155f6574531d511f428c1576be4072ec","datavalue":{"value":{"entity-type":"item","numeric-id":540197,"id":"Q540197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1723403$33094633-AC1B-4507-B023-997518C96B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d577081f8e1c9de25f16021e61b998b7f1d3158f","datavalue":{"value":{"entity-type":"item","numeric-id":361050,"id":"Q361050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1723403$4C161D5C-B3F5-4AD2-9655-E768B96E1A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb4775bfbb17da1c0c3e0f18cc58836a37ed0fc","datavalue":{"value":{"entity-type":"item","numeric-id":2982662,"id":"Q2982662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1723403$71B5115F-8140-4BF5-A166-675C94C9985E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f4da4dfe5d34b9315297ae73f401ab40eab8a7","datavalue":{"value":{"entity-type":"item","numeric-id":1346650,"id":"Q1346650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1723403$E8E2707D-78C0-4C5F-8A90-77A1ADF6FCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c796eadd682297715f9583699f0f74be7d7d40b","datavalue":{"value":{"entity-type":"item","numeric-id":3782791,"id":"Q3782791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1723403$817EDDF7-AAEF-4A2D-938B-BF9846D79EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a60320fdcfc60ebc533de00ef14ae04f00b96b5","datavalue":{"value":{"entity-type":"item","numeric-id":2713455,"id":"Q2713455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1723403$E65375C0-2971-47B8-81AF-9ABE90F5BC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b690e5d4915e682df93ca75d11f669288b9095ed","datavalue":{"value":{"entity-type":"item","numeric-id":3063811,"id":"Q3063811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1723403$0A21F609-39BB-406E-BCB9-A610F09D8686","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0da7ad35f4d108ac5eeaba92c4df5ba7e6dc4b8","datavalue":{"value":{"entity-type":"item","numeric-id":5353394,"id":"Q5353394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91748f7e20e416f24561c1733e19524e6147db71","datavalue":{"value":{"amount":"+0.84972024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1723403$8E0576D9-7EFB-4BC1-985C-6941CECE2776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2794718131e6f0868ba994471d402e74df04172","datavalue":{"value":{"entity-type":"item","numeric-id":2713455,"id":"Q2713455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ea63f504c17bc13d73abfdfbf9a510f7369756","datavalue":{"value":{"amount":"+0.8463548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1723403$0365D8CA-6E7E-4F03-BA4A-D378758CAEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e38bc333f45f142693086a1303cee031fc4c56","datavalue":{"value":{"entity-type":"item","numeric-id":4368693,"id":"Q4368693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aecf8e67564316b5fe0c5f4ce7bce451a8ba735","datavalue":{"value":{"amount":"+0.8426095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1723403$D355FC87-C430-482C-8A9D-A36BA6D90A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa6cc3bfb6b3f90bfc879d82e4fe563b89bc66c","datavalue":{"value":{"entity-type":"item","numeric-id":2375493,"id":"Q2375493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3236fecabf5f64fa5e9433328fa71835d9bf3591","datavalue":{"value":{"amount":"+0.840641","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1723403$918D43A1-496E-4B7C-AAEC-F4B3888D7361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43fa1af796fff704e96a5888f1feb75067902a4b","datavalue":{"value":{"entity-type":"item","numeric-id":1079013,"id":"Q1079013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e9e5733ef02cf4b9639f9097b8c37f37e3e7ae4","datavalue":{"value":{"amount":"+0.8405409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1723403$5F272203-9E02-4304-811D-3AA883D3CD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe1c3568cd018021056b10a48c037c405998225","datavalue":{"value":{"entity-type":"item","numeric-id":4639696,"id":"Q4639696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad376f79ed17d9408c825d130bca772a0d107fea","datavalue":{"value":{"amount":"+0.8405355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1723403$5DDD75D8-2FA1-44CD-BD23-B6F2961EB07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c683a9bcaae0c642c27981513aebbfe770f91a34","datavalue":{"value":{"entity-type":"item","numeric-id":1075049,"id":"Q1075049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648fae5dfe3b599232402426ee522aa99fad5039","datavalue":{"value":{"amount":"+0.8297571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1723403$84EF8142-AECA-4C67-BC12-D56ACFE35616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc617ac6250d162c4a974e3186c7ccae1c3e4f2","datavalue":{"value":{"entity-type":"item","numeric-id":5282318,"id":"Q5282318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5493b0da1907bb7f4657131384d8d097cd0d5cd","datavalue":{"value":{"amount":"+0.82926625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1723403$6358DF0F-F1BF-471F-ADDD-855D53B8A2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b15cdedda236d6078df5ea3046683bfa5a0f65a","datavalue":{"value":{"entity-type":"item","numeric-id":5347802,"id":"Q5347802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"490c393edd8c5991ec46944f92430b4eca24b532","datavalue":{"value":{"amount":"+0.82882065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1723403$7CF086F3-FFF8-4D45-A4BF-64F08672F7CE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1723403$43475F42-7942-4E02-B6A7-EA5F07BB96CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1723403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1723403"}}}}}