{"entities":{"Q580968":{"pageid":582735,"ns":120,"title":"Item:Q580968","lastrevid":62924703,"modified":"2026-04-11T09:01:08Z","type":"item","id":"Q580968","labels":{"en":{"language":"en","value":"Safe states in banker-like resource allocation problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4018365"}},"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":"Q580968$A1E2426F-3B7E-431B-B794-7DFE79EA5F0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d2671d5ebd85a6bf7128ef6bcf6cf4dc2581695","datavalue":{"value":{"text":"Safe states in banker-like resource allocation problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580968$327672B9-86A1-415C-B620-07D5E14F3409","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c65fdc47a241141095a35f8c45ea60c449b8d209","datavalue":{"value":"0626.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580968$1804EB83-4DC0-4B75-AECF-0D114509BF5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8126e6616469b868d67ff7b452ae6e045335057","datavalue":{"value":"10.1016/0890-5401(87)90002-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580968$3F4C28D8-54E9-462E-B9D4-F67B8D77F82F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"631e9e4126636c24f30e2bdc32e2da5ce11cc5f3","datavalue":{"value":{"entity-type":"item","numeric-id":580966,"id":"Q580966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580968$FA985213-7A32-4268-B3F7-F57C5F289A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea4e6d19d69a0e3325d2ccdb2c8e83f37a7d74eb","datavalue":{"value":{"entity-type":"item","numeric-id":1158761,"id":"Q1158761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580968$02BC0FFC-3474-4DF1-8433-C644534CEC25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580968$00F478F6-E37D-4EFA-B45F-36188C38476D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q580968$27F20697-DF02-4F59-90C4-E144FA3A7FBE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"adbdca2ce03332acb4dd98e32e6243eee1f0d7e4","datavalue":{"value":"This paper is concerned with methods of describing the set of safe states in the Banker's problem. Using a Petri net model, formulas for this set (SAFE) and for its subset of minimal elements (MIN) are derived. Moreover, by partitioning MIN into subclasses such that elements of the same subclass differ only by a permutation of their components, an even smaller representation is given by a set SORT. Lower and upper bounds for the size of SORT are calculated. Since we give an algorithm which computes SORT in time linear to its size, these bounds are also applicable to the time complexity of computing SORT. Finally, some of the results are extended to the multidimensional Banker's problem with different currencies, whereas other properties are shown to be not extendible to this case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580968$AB04C792-EBA5-4990-A918-57EA29CEBFB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580968$9ACFD51C-4F0D-4393-8C46-A9981DD9EC87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"860f10f3ef9022f3bfdb3958816cdfe247b19fbf","datavalue":{"value":"4018365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580968$3807EB96-3771-4A70-951E-BBBB8BF05C28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c7e463edd64cdf18c7d816e3d9e9c164a7208e","datavalue":{"value":"operating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q580968$CB540345-E397-4242-8155-B55AFC4ED8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q580968$3A5815B9-CE09-4F4D-8B3F-01AE17C92B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f19f4624c95e0d7979a9868ca346a81874b439f0","datavalue":{"value":"SAFE","type":"string"},"datatype":"string"},"type":"statement","id":"Q580968$EC26DAAF-67A4-438B-97CF-8526DCB205E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e35f6b490ac92deea30ca80978daf5a6ff14dd8a","datavalue":{"value":"minimal elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q580968$2622141A-A843-4D0A-962D-4E28E70CD2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f3c8dd6d8ed54cfc4f276d904dbf932b0bafc1","datavalue":{"value":"MIN","type":"string"},"datatype":"string"},"type":"statement","id":"Q580968$FA94D0C5-63E3-4FE7-A246-F32145479FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfb6b7e3c0b214128e6c6b6816a0efd7634b42fe","datavalue":{"value":"SORT","type":"string"},"datatype":"string"},"type":"statement","id":"Q580968$1AC54A45-FC26-4838-B60F-5441AEDA1191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q580968$42861A5E-5AB5-4A55-96C0-F2219EE30C48","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":"Q580968$AA3A025A-51AB-40A6-A602-00215EE5BF75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0168c680d8d33f7c7092f4c263569fb56c891470","datavalue":{"value":"https://doi.org/10.1016/0890-5401(87)90002-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q580968$3BA0B4C5-FAC7-4229-9AB4-5AE56DC87C22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c30fc4b7d274e5df0545134c361db60ebf2f075f","datavalue":{"value":"W2071730202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580968$187E11B3-9163-4587-9AEF-3CEFBE9350B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af610cb9712f792a50bfe7cf87e5c3fca789b88","datavalue":{"value":{"entity-type":"item","numeric-id":4146776,"id":"Q4146776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580968$C178DB0C-4EE9-4DEE-8ECC-097B4C4E7CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508bc917a7771d26e78b44ecb3237422dc102dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4066554,"id":"Q4066554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580968$4902B4B5-DC7C-4FE7-B2E0-FE560784C11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb2b093a9d1fa0a8db2ad36a6773df23088e1e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5618224,"id":"Q5618224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580968$A71E02A3-E046-4DDB-98AA-A0BE1114BB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0863235db59889cae8e307ac033932805be9713f","datavalue":{"value":{"entity-type":"item","numeric-id":797285,"id":"Q797285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580968$7B156001-0F25-4A93-A152-33B7AD849BB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e80f70ea62feb6bad56d587c3877760560f63ea","datavalue":{"value":{"entity-type":"item","numeric-id":3753498,"id":"Q3753498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c75d0cabe57be83b465610e216c4d8753a22a03c","datavalue":{"value":{"amount":"+0.9768513441085817","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":"Q580968$22E22960-01B8-4EDD-90EE-5C9337C094A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd10e6d9c197418f54e82a40021b5173d2c12704","datavalue":{"value":{"entity-type":"item","numeric-id":582904,"id":"Q582904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d84b6e103b0df0ae0d4e42e99fb4036a48ee3dd","datavalue":{"value":{"amount":"+0.7853753566741943","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":"Q580968$30A20EFC-7996-4CC1-91F7-E7E2050483CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98039442b271f904a5ec26572c472c806bf8d758","datavalue":{"value":{"entity-type":"item","numeric-id":3340123,"id":"Q3340123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55ea5849dec502b2c82712457246b9898d743b3","datavalue":{"value":{"amount":"+0.7521475553512573","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":"Q580968$DDE8784E-44E4-41A8-BCEE-F85E681115C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be7ed9d839114fb7d1f1b80e2be0458de206ae4d","datavalue":{"value":{"entity-type":"item","numeric-id":3782733,"id":"Q3782733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"514f7b17ce55dcd5e452df85e83d52a4c8096733","datavalue":{"value":{"amount":"+0.7391189932823181","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":"Q580968$28F34704-14A7-473A-B3D2-3B4633E8ADF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df06f77f30e4e5e745d51e2871447fc66908b3e5","datavalue":{"value":{"entity-type":"item","numeric-id":3763583,"id":"Q3763583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6227689490ae05cc661c1aa667cc725458dddc57","datavalue":{"value":{"amount":"+0.7354224324226379","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":"Q580968$6CC187C4-60F4-4222-99A8-3B08D67B7E27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safe states in banker-like resource allocation problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safe_states_in_banker-like_resource_allocation_problems"}}}}}