{"entities":{"Q1020558":{"pageid":1022406,"ns":120,"title":"Item:Q1020558","lastrevid":65964906,"modified":"2026-04-12T06:37:57Z","type":"item","id":"Q1020558","labels":{"en":{"language":"en","value":"Minimizing place capacities of weighted event graphs for enforcing liveness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5559864"}},"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":"Q1020558$94071C46-3104-413D-B370-573F89A6DD7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"550dbdfec20a9c5e2952ceeadd8cb9c388ba33e0","datavalue":{"value":{"text":"Minimizing place capacities of weighted event graphs for enforcing liveness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1020558$A55689B7-0AEA-403A-B708-D1408F784767","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8e4fa69ea1d9e1e3018321d5d8a46f625de7af2","datavalue":{"value":"1161.93321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020558$0D6127D2-3507-4B77-A262-2292E01ECA17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba824551177e1982e54f6e96b90812c674b116fd","datavalue":{"value":{"entity-type":"item","numeric-id":429652,"id":"Q429652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020558$BCB57C5D-4715-4D27-80CD-ECFD663D8BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbf181820d677929ee577ca4f23e91cd6c25003c","datavalue":{"value":{"entity-type":"item","numeric-id":337139,"id":"Q337139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020558$EF139187-4FC0-4D88-B157-952BFD1DB96E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020558$23D13CAE-9B69-4584-BC14-9B59FD348111","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c1214b366be0e4645b55d47fe60be82f198f986","datavalue":{"value":{"time":"+2009-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1020558$C4129F2C-7977-4707-9748-B86913550482","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020558$E8C4EC18-A5C9-479B-AE8B-16DB4A59752E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef1dcc0b33599e1092b462fd190cf5343d5086bc","datavalue":{"value":"93C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020558$803BA6E8-1EE8-46F9-BB09-C27895DADC97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b6a84dbfd2f6dea759fadef88dc93dc263e895a","datavalue":{"value":"5559864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020558$6487CD73-5E56-4323-9D82-63D42FA0DCCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020558$76574F9A-2071-40D6-99D4-DF66CBB1655F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020558$484B8E75-B5B8-43AE-8A5F-55C394452E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbecc2982c2b31bfe93afa7d7d45675f82b284ec","datavalue":{"value":"buffer requirement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020558$04BA3EB0-A9BC-43A3-84BE-41C108A5C1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8edf4edd53fe88472451d06022cbbb53aa48d94","datavalue":{"value":"manufacturing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020558$C7AD0B73-035F-416B-90DE-F654F15267BD","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":"Q1020558$3C110B22-8930-41E4-B948-91DBA1325D58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eeb0cb3f70fe7b4063183e881912913fc0b93af0","datavalue":{"value":"https://doi.org/10.1007/s10626-007-0035-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1020558$59DEC365-E03A-4A34-99E5-B053BFA86A81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"191a0735d06028504ef02e22134995c483dce274","datavalue":{"value":"W2121047210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020558$218566B4-352B-4357-A894-FB84599F4D1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e683f5324c057708ef252e386cf94bcf2bd1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4284238,"id":"Q4284238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020558$7885B4CD-71B3-401D-98B3-B57FD103E92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e2de2746f951ee0124e4a1625ff79f1020014e8","datavalue":{"value":{"entity-type":"item","numeric-id":5953543,"id":"Q5953543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020558$721D32D9-B474-4C81-825A-A92004A37290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c9c5c7e642b8a633e436b1cd37369bed1a0fba","datavalue":{"value":{"entity-type":"item","numeric-id":3804437,"id":"Q3804437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020558$67073CA4-DEA7-4586-A8EC-D6D4A82B4545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2071f98eaa629c231a1e5d42272e48d7ce55111","datavalue":{"value":{"entity-type":"item","numeric-id":5528155,"id":"Q5528155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020558$1B49BBAD-97C0-4CBE-AB2E-3079FFB78144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cde03562621ac344f98deab878bb3e849873e4","datavalue":{"value":{"entity-type":"item","numeric-id":3742710,"id":"Q3742710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020558$7B2E0C27-C843-4AAF-B790-103D2D9EB95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7869a2c1c2f57d21257a261095b3044069ea88df","datavalue":{"value":{"entity-type":"item","numeric-id":4004772,"id":"Q4004772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020558$8B919112-B9BF-498D-8749-9955513A070D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f4473aeac93d93b12aa9a1b56ee0f88015e5e8","datavalue":{"value":{"entity-type":"item","numeric-id":1014950,"id":"Q1014950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020558$87D0C89C-45ED-4221-A480-766F8F72069C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04207279b9a9aba023303727414b9516a735f6c6","datavalue":{"value":{"entity-type":"item","numeric-id":1917250,"id":"Q1917250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020558$3DC85231-8A74-464C-BCDA-231F5DC0D1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf3b06c12f3e9145891c1df1a87e63175f03f977","datavalue":{"value":{"entity-type":"item","numeric-id":1404384,"id":"Q1404384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020558$5EA85952-41EC-402F-A6E0-ACAF790F3D49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"794b65400081e79aa2c6752e22bf714babc4a193","datavalue":{"value":"10.1007/S10626-007-0035-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020558$4F037130-5FAF-43F6-9889-1FEED686A6BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0981271e5c39e6da04181a883c27e52fd462c398","datavalue":{"value":{"entity-type":"item","numeric-id":1014950,"id":"Q1014950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a622a5b416c45d1b008c10d55be1c9c6cb627aa1","datavalue":{"value":{"amount":"+0.8164616823196411","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":"Q1020558$FAA89735-9AFE-4CEC-84AC-E6430318E9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592bd712ff9de886db627d8bf3abb55aa6561077","datavalue":{"value":{"entity-type":"item","numeric-id":429654,"id":"Q429654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6417eb2210d98af059e211cb045d3c2828dc9c","datavalue":{"value":{"amount":"+0.7745912075042725","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":"Q1020558$C0895D6A-766D-46E3-9D60-4390945010E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768cd58b6cae2ee461531e90867ebbb5a162bba9","datavalue":{"value":{"entity-type":"item","numeric-id":989543,"id":"Q989543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4111f53d0559b5cd7f42342e02a2528eac09a0cb","datavalue":{"value":{"amount":"+0.745293378829956","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":"Q1020558$9329A045-81ED-42A4-8C12-F40A0261EDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f21f36afba4240183d2bf3670081abba24e8e32","datavalue":{"value":{"entity-type":"item","numeric-id":3411314,"id":"Q3411314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c6398e534c29d114ba39e5f6c22e6fa9a06f291","datavalue":{"value":{"amount":"+0.7336820960044861","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":"Q1020558$737A522C-E8C2-463A-9798-62C8CEDD7F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0abe97018d9185a8ecba30cea1d7d5d11d67de78","datavalue":{"value":{"entity-type":"item","numeric-id":4004772,"id":"Q4004772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d1786d9d4385d7cb9b1cd726021f441b315704","datavalue":{"value":{"amount":"+0.7207159399986267","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":"Q1020558$351D0D96-442A-452A-BBC0-5EED1C5BDB9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimizing place capacities of weighted event graphs for enforcing liveness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimizing_place_capacities_of_weighted_event_graphs_for_enforcing_liveness"}}}}}