{"entities":{"Q2314733":{"pageid":2325476,"ns":120,"title":"Item:Q2314733","lastrevid":57280638,"modified":"2026-03-27T20:18:09Z","type":"item","id":"Q2314733","labels":{"en":{"language":"en","value":"An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7087091"}},"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":"Q2314733$DFED6DB1-C619-4A63-92A8-BA5FB960B448","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"751f1f32c461f33c73209c2a1ae4a393baa9c645","datavalue":{"value":{"text":"An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2314733$184D9C45-C647-4F0C-9C11-D0EF3AC925E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb012c1fdb1339fc3e7698d577a1468659320547","datavalue":{"value":"1418.90103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314733$DCAC8C0C-36FE-40BC-81FF-79888AAD666B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d3f7a8a9ba4916d886b3e6632946aa42bfd1d2b","datavalue":{"value":"10.1155/2016/8219424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314733$891AC59F-228D-4F17-AD3C-D5A6ADA760B7","rank":"normal"}],"P16":[{"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":"Q2314733$DEE36D68-94E9-4703-8F4B-3E16F8A45893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c38763fbc1b85dfb8812e9aedeb7188b724513b","datavalue":{"value":{"entity-type":"item","numeric-id":2096879,"id":"Q2096879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314733$C395F71D-1228-4DE7-97FF-AAED138392CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d51c819838d8ea63954fd24f1aad6c41fa997d4","datavalue":{"value":{"entity-type":"item","numeric-id":445933,"id":"Q445933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314733$17D3F4CF-D133-42A9-B702-ABF69B871ED9","rank":"normal"},{"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":"Q2314733$F9F5CED5-17D3-4EA9-975A-7ADACD7BBF0B","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":"Q2314733$E3A3E39D-DC47-4105-A4BF-3F2111B25CE4","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":"Q2314733$E1EA0836-BBAE-4E28-B0D4-2A0773ADF192","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dda2fd731ec6d873497533b970a0f61ef38600f2","datavalue":{"value":"Summary: We propose a new deadlock prevention policy for an important class of resource allocation systems (RASs) that appear in the modeling of flexible manufacturing systems (FMSs). The model of this class in terms of generalized Petri nets is, namely, S\\(^4\\)PR. On the basis of recent structural analysis results related to the elementary siphons in generalized Petri nets on one hand and an efficient deadlock avoidance policy proposed for the class of conjunctive/disjunctive (C/D) RASs on the other hand, we show how one can generate monitors to be added to a net system such that all its strict minimal siphons are max'-controlled and no insufficiently marked siphon is generated. Thereby, a new, simple, and more permissive liveness-enforcing supervisor synthesis method for S\\(^4\\)PR is established.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2314733$FEB18BCF-6C0B-4A91-9AAF-106E7BB90AE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314733$8AFAE228-55BD-4E29-A177-E42DD9E639F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314733$E179A207-AE70-4D06-A64A-A5816546052D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eec0cb3c4c58b6dad017bc1b56f272693a8adcd7","datavalue":{"value":"7087091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314733$98A46C27-8F16-46C3-907F-EC7FFDA0A1A5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ec82171f17a662d8d0e6bb3d59566d5e268cc287","datavalue":{"value":"Q59123667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314733$ED53C955-40B7-4E63-B86C-1DCD1A97F861","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":"Q2314733$7575F9A0-2E73-46CE-AC49-59B8FCD2943B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f7c4947fa351bfba6e2078a27f019856207c609","datavalue":{"value":"https://doi.org/10.1155/2016/8219424","type":"string"},"datatype":"url"},"type":"statement","id":"Q2314733$1F00AC76-464F-408B-A378-F80779870275","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b9a3f9f9613214653a87f6a3e573cbe8c02de12","datavalue":{"value":"W2286243663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314733$3DC62EAE-05CD-42C8-A131-F2E3B0F54DBF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb60aa9dfa02dbe8dce73bf63a7b212f61bf5e49","datavalue":{"value":{"entity-type":"item","numeric-id":4633154,"id":"Q4633154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314733$CA210843-8ADF-48A7-83E6-566E10EC90C7","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":"Q2314733$53C883A1-2CD6-4B44-A523-09DFFC8D6C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e007c275123270b9b9b3a83af5ef61478d505a9b","datavalue":{"value":{"entity-type":"item","numeric-id":3058342,"id":"Q3058342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314733$A6323EAF-5476-4234-82ED-198289572269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5d7b4f6684031a88262a79c1503f1ce666fa56","datavalue":{"value":{"entity-type":"item","numeric-id":2377377,"id":"Q2377377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314733$7DAB3A9E-BACE-45CD-8F54-1E9A44E8E7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216307e7c13e9a993ff82d164c795376d2d00c8d","datavalue":{"value":{"entity-type":"item","numeric-id":976266,"id":"Q976266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314733$E1E00756-C9EF-4E7D-93EC-7CFF33C939B2","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":"Q2314733$3F2ED69F-A145-442F-9828-549836040804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410bd023acf77199879472af245cf4af69612d18","datavalue":{"value":{"entity-type":"item","numeric-id":351730,"id":"Q351730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314733$8DEDF25E-0E13-4211-A466-55E896572E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051c287c0a7721b855b3c85f3b4e4e1f215b24e1","datavalue":{"value":{"entity-type":"item","numeric-id":3550619,"id":"Q3550619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314733$ACC554B4-40B5-4FF0-9056-F0476835C854","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":"Q2314733$123E0F69-78E4-4833-84CA-18C2DA8ECC26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3520d704dc795942040cfd5068ffb698dfdd57","datavalue":{"value":{"entity-type":"item","numeric-id":3063811,"id":"Q3063811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de3d4ffde16c3c6ddea56978a96f0aadfd4f45e","datavalue":{"value":{"amount":"+0.9012646079063416","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":"Q2314733$4B8F7FCF-E62C-4608-9C61-071773A2D17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d298199178afd53226b65e6390377256a9c08a1","datavalue":{"value":{"entity-type":"item","numeric-id":3058342,"id":"Q3058342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db645eda4074d78e2a3795f8259bb297a4804c4","datavalue":{"value":{"amount":"+0.8949169516563416","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":"Q2314733$74EC854C-12CA-4555-99ED-098D164BE03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28884785d64478e9cdab86c91dfddc4c6c4e48db","datavalue":{"value":{"entity-type":"item","numeric-id":3055275,"id":"Q3055275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e5c3dd93f926ddb285a4d49f7d4cdd2f12d59d","datavalue":{"value":{"amount":"+0.8869428038597107","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":"Q2314733$152C435B-A56D-4C87-9F95-29E3D53C7B80","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":"55be1f0da30d5ef0a8ea194ab7664355c4fb92c2","datavalue":{"value":{"amount":"+0.8826784491539001","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":"Q2314733$1254DDE4-89F6-4EB6-86D6-263B6A1EAD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42fc0adf4f0af9c40f11720f69bf1beb38b319ad","datavalue":{"value":{"entity-type":"item","numeric-id":2377377,"id":"Q2377377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7571e95a376ece73e715bff85c1641877ad420e","datavalue":{"value":{"amount":"+0.8584662675857544","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":"Q2314733$33E8E565-281E-44AC-AF42-AD920ABFE764","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":"Q2314733$BCC1FFDB-A587-40F3-9447-18D59D2881CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2314733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2314733"}}}}}