{"entities":{"Q2314759":{"pageid":2325502,"ns":120,"title":"Item:Q2314759","lastrevid":57281169,"modified":"2026-03-27T20:22:49Z","type":"item","id":"Q2314759","labels":{"en":{"language":"en","value":"A multistep look-ahead deadlock avoidance policy for automated manufacturing systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7087116"}},"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":"Q2314759$34837CC2-E553-4098-9633-02814F70AC76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64b70a260e69377d6fae9213d193743ed0e78f98","datavalue":{"value":{"text":"A multistep look-ahead deadlock avoidance policy for automated manufacturing systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2314759$2909E8FF-333A-4EC1-AA37-20AE9FDDFAD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a2b909ed04924ccc37266b540db05167b8995a6","datavalue":{"value":"1453.90066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314759$DCD4F9C2-CEC4-4FA6-BE64-A017E33FBA5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae7ecbf9878a5ff32e6a2caf862e6d5a28bfc0b6","datavalue":{"value":"10.1155/2017/8687035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314759$FDA3BD6B-9B83-4DA5-856A-ED6A37C19238","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ffa2c65e06904f5d05e219586bb284b25521dc5","datavalue":{"value":{"entity-type":"item","numeric-id":279129,"id":"Q279129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314759$CB644A71-BA2F-429F-BE06-EAB8F1455B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3bc8c388d7a0fac63269c05e0b00f7133fe344","datavalue":{"value":{"entity-type":"item","numeric-id":340679,"id":"Q340679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314759$E43CF2BE-2692-4CFF-BF76-1075DF83FA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cf005bef78cccf932ea3e4b407136a1a7937665","datavalue":{"value":{"entity-type":"item","numeric-id":780960,"id":"Q780960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314759$CBEF3247-CAF1-42A5-BF22-51B968CD792F","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":"Q2314759$3150F0B6-D24A-490A-8B52-3A7B871B59C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cde364ad59cd7ffca29c740ba4361208831ad2a4","datavalue":{"value":{"time":"+2019-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2314759$56521426-DC2B-4A96-9F55-F5235D677735","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c99919d32bbed3834591307553d4d66fc61aedb5","datavalue":{"value":"Summary: For an automated manufacturing system (AMS), it is a computationally intractable problem to find a maximally permissive deadlock avoidance policy (DAP) in a general case, since the decision on the safety of a reachable state is NP-hard. This paper focuses on the deadlock avoidance problem for systems of simple sequential processes with resources (S\\(^3\\)PR) by using Petri nets structural analysis theory. Inspired by the one-step look-ahead DAP that is an established result, which is of polynomial complexity, for an S\\(^3\\)PR without one-unit-capacity resources shared by two or more resource-transition circuits (in the Petri net model) that do not include each other, this research explores a multiple-step look-ahead deadlock avoidance policy for a system modeled with an S\\(^3\\)PR that contains a shared one-unit-capacity resource in resource-transition circuits. It is shown that the development of an optimal DAP for the considered class of Petri nets is also of polynomial complexity. It is indicated that the steps needed to look ahead in a DAP depend on the structure of the net model. A number of examples are used to illustrate the proposed method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2314759$891FDD17-9DF6-4652-A226-E51A91703F39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314759$42EAD0F6-5CF7-496B-BCC5-3AA855A9A052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314759$81D3FC46-30A8-4B89-B1B6-B1F4873C5575","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83323d8206d092971cdc43d9eaa7a0ad423c8c9c","datavalue":{"value":"7087116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314759$81599988-1451-4614-BD37-56593C2B9389","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":"Q2314759$E94AAA4E-68AE-4E7B-865D-70B3782ADC8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d26c97252ef28cf86b1e1fb4e6c81f329b7ce0e","datavalue":{"value":"https://doi.org/10.1155/2017/8687035","type":"string"},"datatype":"url"},"type":"statement","id":"Q2314759$631980CA-EF67-4ACE-A04C-E93D524F7125","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c40a260bd6692e51fb26599d2b070ff591892fea","datavalue":{"value":"W2747398243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314759$528E6F08-ED50-4670-82E0-8F0265D1ADB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f58539d575c8d1875a2d20f5e305eb0c3f50180","datavalue":{"value":{"entity-type":"item","numeric-id":5633643,"id":"Q5633643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314759$C4AEC686-BE58-42D1-B1B4-0757CBCBCE89","rank":"normal"},{"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":"Q2314759$D58BD23F-9828-4E85-A26A-AA48A109E30F","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":"Q2314759$0F4FCC8C-DCBF-447E-ACFC-A9BFE4031729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cd94a254cb7563f58a96d7f9fd6d6f00c00c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1911289,"id":"Q1911289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314759$063B4AD2-8821-42DB-95BE-805759FB9BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452b988d48acbf1da94daf03f9b40d2b8011e249","datavalue":{"value":{"entity-type":"item","numeric-id":2279729,"id":"Q2279729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314759$6C08109E-AC83-4F38-B01C-7D8C1CC295E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ab346b45bc007dcd1ef8ef885eaec640c10ba7","datavalue":{"value":{"entity-type":"item","numeric-id":2279728,"id":"Q2279728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314759$493B38C8-142F-4F04-92F8-D77E4CCFDDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9865b48acca9b318443ff06794b055daca513103","datavalue":{"value":{"entity-type":"item","numeric-id":2398731,"id":"Q2398731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314759$D5750B2C-A7C3-4899-BF08-22E5B8F1E9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678593431cd7cdf42cd5c4902e7ea2f009af9cbc","datavalue":{"value":{"entity-type":"item","numeric-id":4540370,"id":"Q4540370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314759$B7589009-16C7-4902-A363-A7397D31A37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a5c5f60ffdcc14375be5b82f7d9f24b2062872","datavalue":{"value":{"entity-type":"item","numeric-id":4368693,"id":"Q4368693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314759$BE10113A-6CC0-499C-A189-E05457807079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dfe447467092cccfaa2d8a597e16a4018653a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4876603,"id":"Q4876603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314759$5B4C8FF1-98DD-495F-BAB6-FFEB580DE5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b98b85613a8065e6d08b5bb30fd440bd8cd5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2292945,"id":"Q2292945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314759$069E5076-B5E0-4137-B78B-71620DDA758B","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":"Q2314759$919F1DA8-87B4-498F-8370-89B9CC8F124B","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":"Q2314759$6280550B-9EA6-462D-90EB-213BBA8DEE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea03d789a479e72cfbb926127a896c8e37dbe883","datavalue":{"value":{"entity-type":"item","numeric-id":6487387,"id":"Q6487387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314759$4675A215-A9DE-409D-AA90-B2685FEF9BDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56938f67da49c951aff6c01a3b87091260cc6374","datavalue":{"value":{"entity-type":"item","numeric-id":4876603,"id":"Q4876603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc59641ca096ec9898def0e15523ced9ae7beca","datavalue":{"value":{"amount":"+0.8224758505821228","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":"Q2314759$814F4CC7-A57B-4918-8CD8-68F107394A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa792f0cf905f907ba1a1a4d216e459921313abd","datavalue":{"value":{"entity-type":"item","numeric-id":2023184,"id":"Q2023184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9481b35ef27260159384fdc4be4728cfc8d744dc","datavalue":{"value":{"amount":"+0.8221587538719177","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":"Q2314759$1EBC7988-E9F2-44A0-8C86-C0FDA0481E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24aac7cc4c4531760c667afc8567f70050c18a03","datavalue":{"value":{"entity-type":"item","numeric-id":4332701,"id":"Q4332701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2068f23f90ae2cf08a4e94c8c1cbb73b2e568e0","datavalue":{"value":{"amount":"+0.8137314915657043","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":"Q2314759$C8C85879-6DF7-43FC-8BE8-DCBFFEE58E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5562f991d6b2537efb73c8cd8f68ef953391e313","datavalue":{"value":{"entity-type":"item","numeric-id":2279726,"id":"Q2279726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d717035037c676314bb594636599c0adde5aa9","datavalue":{"value":{"amount":"+0.8116540908813477","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":"Q2314759$8A71D5D1-B7F1-4A24-965C-60D1C0C239EA","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":"494d24373117b0ea7c3e5b49355350f2dc45511c","datavalue":{"value":{"amount":"+0.8083518147468567","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":"Q2314759$150A7F6B-B12D-482C-B06F-F08705485F6F","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":"Q2314759$A1D73C25-7706-4797-8100-371E0B33F74A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2314759","badges":[]}}}}}