{"entities":{"Q1777827":{"pageid":1788569,"ns":120,"title":"Item:Q1777827","lastrevid":68935770,"modified":"2026-04-13T03:13:13Z","type":"item","id":"Q1777827","labels":{"en":{"language":"en","value":"Lower and upper bounds of shortest paths in reachability graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2171761"}},"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":"Q1777827$8B971FDD-0FB6-4E80-BBF0-73D2E3F2FE02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30ac43b171faf45b03cdf5aada320d3816e1633b","datavalue":{"value":{"text":"Lower and upper bounds of shortest paths in reachability graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1777827$E06A87FC-AF3C-438A-BD44-7A447D824C54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0903b12f3d382a384e3e6f8cb93996d1d91dc774","datavalue":{"value":"1101.68730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777827$3A9A25CE-6773-42F5-A8ED-9C6B1BAA1430","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6b367bf3068e7a452c021c4a894a4b3a431c7a5","datavalue":{"value":"10.1155/S0161171204403378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777827$0891D1C1-1C66-447B-AA91-2ACF27AA1F84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b7402795b861886ce4b64b0ca7ef42355f0bfb7","datavalue":{"value":{"entity-type":"item","numeric-id":1773681,"id":"Q1773681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777827$2A346DA2-6132-4F7E-81B7-B87F8C77A03C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777827$B1615655-BFBB-47C7-AA46-7D29762AD801","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10027d9b5c9465a35260c594b008f7f04309d2be","datavalue":{"value":{"time":"+2005-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1777827$150C6C83-AA6E-4A23-929B-3A2DCEF624F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ca7ce3122a350f6c8c3152735ed980c283d9e4e","datavalue":{"value":"https://eudml.org/doc/52888","type":"string"},"datatype":"url"},"type":"statement","id":"Q1777827$CEDB88F4-66C2-4C2D-ABFE-3DC9808A98F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8eaa9881b273ffe71c6181874076d7886dc00e20","datavalue":{"value":"Summary: We prove the following property for safe marked graphs, safe conflict-free Petri nets, and live and safe extended free-choice Petri nets. We prove the following three results. If the Petri net is a marked graph, then the length of the shortest path is at most \\((|T|-1)\\cdot|T|/{2}\\). If the Petri net is conflict free, then the length of the shortest path is at most \\((|T|+1)\\cdot|T|/{2}\\). If the petrinet is live and extended free choice, then the length of the shortest path is at most \\(|T|\\cdot|T+1|\\cdot|T+2|/{6}\\), where \\(T\\) is the set of transitions of the net.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777827$04EE324C-F0A0-4DB0-B03F-7E1F619836AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777827$BBE52B79-AED5-499C-B7E1-1CB192B6E53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2d4f4e28fa9ca38421c473fcb6ba728a44de59a","datavalue":{"value":"90C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777827$366664DF-58F1-417F-BF1C-C8B3C6456DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"007f7f82691f1d7656215e5be329d57b0bfdf5e7","datavalue":{"value":"94C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777827$00BE1C16-5992-4B66-A253-1F3BE34A5A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777827$A6C0E90A-7980-4206-B2CA-C3915541CF6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdaa370ea50419d59f6815b62537ee42c2b7bc73","datavalue":{"value":"2171761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777827$258C6269-C78A-4DE6-BAC5-EEC56FFE4C32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777827$EDCAAA33-5F4D-487B-853D-7ABAB9CE4254","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":"Q1777827$1FFEA9ED-36A8-4FBE-ADC9-C0B72DD32192","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dfbdf899715d47c2f62387620d5c82b9b4487d0","datavalue":{"value":{"entity-type":"item","numeric-id":1900935,"id":"Q1900935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea70e4045842f700f1ae4461f0572c33dcd495e","datavalue":{"value":{"amount":"+0.9424934387207032","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":"Q1777827$2FA0E115-992B-4A31-A42C-29684B26859D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e8265a21a53e16c25f8845900a25c6eb4d2a0d","datavalue":{"value":{"entity-type":"item","numeric-id":685410,"id":"Q685410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5de017ddda62695386e27fa8be8829f6c963f0a","datavalue":{"value":{"amount":"+0.9396860003471376","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":"Q1777827$A467DF3C-BE38-465E-B099-2CF04E33EC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31135977936716747c7f31c1849275e598439735","datavalue":{"value":{"entity-type":"item","numeric-id":620942,"id":"Q620942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a8662da39cec3e5feb35b25c49a4ca50ebc372","datavalue":{"value":{"amount":"+0.7587442994117737","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":"Q1777827$4AC81EBC-7F73-4A62-9CCD-699D4312290A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c50905c45dc96d24a01ca9edac19b7a08afb27","datavalue":{"value":{"entity-type":"item","numeric-id":515678,"id":"Q515678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aacf1a511f5980d5703c13c3a5bbadbdab97b1cd","datavalue":{"value":{"amount":"+0.7583367228507996","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":"Q1777827$8B5C0A66-FE73-4F34-BD0F-A188F44CF9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2faed612e5ad0a58ad078c67fc302a1349d9770","datavalue":{"value":{"entity-type":"item","numeric-id":4281653,"id":"Q4281653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38af407322fedc7a686ba8d92abc55d3a286f01a","datavalue":{"value":{"amount":"+0.7475845813751221","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":"Q1777827$722152C0-2F80-4443-ABB9-971E4691E93C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower and upper bounds of shortest paths in reachability graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lower_and_upper_bounds_of_shortest_paths_in_reachability_graphs"}}}}}