{"entities":{"Q4511269":{"pageid":6540862,"ns":120,"title":"Item:Q4511269","lastrevid":108652448,"modified":"2026-11-09T15:32:49Z","type":"item","id":"Q4511269","labels":{"en":{"language":"en","value":"Some decidability results for nested Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1522994"}},"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":"Q4511269$95B65374-4FB9-45E6-82B1-1F4F5D0203AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9544da5731de4cf784ec87db81372b12dc2db1a1","datavalue":{"value":"0964.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511269$0F4A0496-84B8-4E83-9844-8F4B2C29327C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"813cbcd07cc85185a006be56944eed3aabcf5f7b","datavalue":{"value":{"time":"+2000-10-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":"Q4511269$F2A00AAA-8DF3-446C-B440-3FA4FC888273","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511269$51DBBEB0-33B9-46D0-9374-C44023BB268A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94fb95064cbdfa32f352b8b02e73381f374ab495","datavalue":{"value":"1522994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511269$AF2974DA-733C-4876-A23D-F881F99022C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94ad8f9f36100d48574fd88748b1f6bfcc77ad67","datavalue":{"value":"nested Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511269$B381B13C-4811-4A54-8990-767CDED28879","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4493e58bf4fbc540cfb048ba7a90aea2a6a229","datavalue":{"value":{"entity-type":"item","numeric-id":1045896,"id":"Q1045896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511269$488A437D-7345-4B56-AF29-6CF1211E06F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f7200c3e6174233c7b4494319539384c46ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":6981452,"id":"Q6981452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511269$E3B65D22-545D-48BD-93DD-5F1E7D530138","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":"Q4511269$7F9F8837-E4A3-4532-8D8F-7F927C9A72AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ad75713e0de25178fe9f02dab6e5d4389606a3","datavalue":{"value":{"entity-type":"item","numeric-id":1403182,"id":"Q1403182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b695aa4b412db117aeb54a9a54b0f24203f7f6","datavalue":{"value":{"amount":"+0.8492991328239441","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":"Q4511269$6B3B4339-6C03-463A-BC98-60B954C1A600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff6de7cb48ecf28a934abdf1cdd2742f24c3a0e8","datavalue":{"value":{"entity-type":"item","numeric-id":4902320,"id":"Q4902320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863e9da554240c5fe4b805b24561c7754b521db2","datavalue":{"value":{"amount":"+0.8363754749298096","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":"Q4511269$D28A6B0F-EB1A-4DB4-B44D-733F21714075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b4dcb952fc0a32e3a86bfc799d22a8787689e18","datavalue":{"value":{"entity-type":"item","numeric-id":5452192,"id":"Q5452192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc27097b3388a770a0a8925c9527e55308fddb2","datavalue":{"value":{"amount":"+0.834954023361206","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":"Q4511269$A3A65B9B-1BC7-4F83-B902-A313B103746A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"198f766f80bfb222ee9ea189d313350f3d1cdea8","datavalue":{"value":{"entity-type":"item","numeric-id":2775865,"id":"Q2775865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6119336268b7c2bc5c1e9596f76815b736fd2f86","datavalue":{"value":{"amount":"+0.8149493336677551","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":"Q4511269$446EA6B5-5D36-4C4E-8D3C-B2DA5F17C1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7aae52abb6839b4f62374a0c58f9f04bf2855b6","datavalue":{"value":{"entity-type":"item","numeric-id":1813788,"id":"Q1813788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc73fe1c2f0b7d41df12b645ce2cd0fa67592d7c","datavalue":{"value":{"amount":"+0.8147585988044739","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":"Q4511269$FCBE87BC-A26F-403A-8606-535D8CCED30C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4ee8c9e87f06a31d4dc6dd96a08dcc0024a4978","datavalue":{"value":{"text":"Some decidability results for nested Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4511269$202842F4-A531-4F9C-95DA-7C01E4F1283E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f356074384a8daae954009f24c54dce26a22d66b","datavalue":{"value":"10.1007/3-540-46562-6_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511269$4CAC4245-A1A9-4DE6-9CBE-B8A34B89781B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a33515c9b81d31a11989c4d04522344d4eca3ec8","datavalue":{"value":"Nested Petri nets are Petri nets using other Petri nets as tokens, thereby allowing easy description of hierarchical systems. Their nested structure makes some important verification problems undecidable (reachability, boundedness,\\dots) while some other problems remain decidable (termination, inevitability,\\dots). For the entire collection see [Zbl 0933.00047].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511269$4230E3DB-2182-4295-A9D6-0E81A3042C81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511269$5C7C107E-A447-498D-8A96-386BF98FF932","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some decidability results for nested Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_decidability_results_for_nested_Petri_nets"}}}}}