{"entities":{"Q579940":{"pageid":581707,"ns":120,"title":"Item:Q579940","lastrevid":62944860,"modified":"2026-04-11T09:09:27Z","type":"item","id":"Q579940","labels":{"en":{"language":"en","value":"Reachability trees for high-level Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016200"}},"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":"Q579940$02D13C9D-DAA7-4F09-B4D1-023128A9E196","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"844875b19b751cacfd3fa30acb6ca14e71e93cd0","datavalue":{"value":{"text":"Reachability trees for high-level Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q579940$7449DC01-4EA8-463F-8394-FF66F71F55BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27d1969e8817ca315a8dc437a08e2682a3e27712","datavalue":{"value":"0625.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579940$E9153774-E24E-4B34-B971-99BAFE7441DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2413d43cb9ba817bc4ff5a314806aa72f8e46317","datavalue":{"value":"10.1016/0304-3975(86)90046-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579940$10DC65E6-8676-4F89-9AA1-A0B0AEE228CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecbbd1be3164ed91d7346ca1fc66488ad9e8b86d","datavalue":{"value":{"entity-type":"item","numeric-id":579938,"id":"Q579938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579940$B70B2BB8-44EA-4659-9B23-6221DD086BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aca5d55e96b97865232cafacf25f4fbd9d8fa0ed","datavalue":{"value":{"entity-type":"item","numeric-id":579939,"id":"Q579939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579940$27BD3489-C2B6-46FC-955C-D7BC15655F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81c7bddf495aa9b5e787f66f1f64ad72a107a302","datavalue":{"value":{"entity-type":"item","numeric-id":418780,"id":"Q418780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579940$9949E8AA-3DB7-4CE3-8BE6-49DC2BDD2EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"902ce90c78cbd9fc1ab82d22845a0d0a8ca0bb76","datavalue":{"value":{"entity-type":"item","numeric-id":226989,"id":"Q226989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579940$29109058-4019-42C0-8BB3-C8E01CF13CBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579940$DF9E046E-8DAC-47F0-9468-55D4E2DAFE9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q579940$9A331BD3-D99C-4F28-A065-98288ADE6912","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0cfb89e7b7e7c379484534a42a72a72c23a29acb","datavalue":{"value":"High-level Petri nets have been introduced as a powerful net type by which it is possible to handle rather complex systems in a succinct and manageable way. The success of high-level Petri nets is undebatable when we speak about description, but there is still much work to be done to establish the necessary analysis methods. In other papers it is shown how to generalize the concept of place- and transition invariants from place/transition nets to high-level Petri nets. Our present paper contributes to this with a generalization of reachability trees, which is one of the other important analysis methods known for place/transition nets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q579940$39891BBA-AAAE-4A91-ACE4-9A912A570F57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579940$476FE364-31F1-4717-AD1C-3B92D8907D04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ed9c29fbee852f539ca51154b9a6c848132341d","datavalue":{"value":"4016200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579940$9C250FF8-4EA0-478E-BA9F-AEDEE569EF8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea85a80f56b36c77d21d0a1d5e9f5988ea1c96e6","datavalue":{"value":"high-level Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q579940$E7526528-2DFE-4739-94FA-5EA806296A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8478680bf2b385698222e79e03e9755b4b6392","datavalue":{"value":"reachability trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q579940$E2051122-EAE0-4364-AD71-F3F0E3BC6C94","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":"Q579940$D8B14FD1-224C-46CE-94C8-E263FF476FC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"639f084a9d5cf15167b67876e42b174b86a8f439","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90046-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q579940$454B7C10-7382-4ED1-852F-6E419C83FBC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d0f60a40b737871048aeff383617d5e47c845f3","datavalue":{"value":"W2092311420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579940$35B28107-A75E-4AEB-8821-6551B455D244","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d7319e8d1c137de845d5ac33cc992644f5e318","datavalue":{"value":{"entity-type":"item","numeric-id":1149777,"id":"Q1149777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579940$6EFCB6C6-7844-450F-8C40-95423AE82C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ecbd1e2c2f31546ca31c5bb4114e03457406093","datavalue":{"value":{"entity-type":"item","numeric-id":3694702,"id":"Q3694702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579940$8B60F08A-8AB1-45F0-A6F7-EAC37C1DE188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a8ec972e060a340b8f1a586b67064c26f1ac46","datavalue":{"value":{"entity-type":"item","numeric-id":1159464,"id":"Q1159464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579940$35622945-AFB2-4C37-8CA0-0AA633444C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d05a51dcc63f1dd2dc21beab25a004e3040ed7","datavalue":{"value":{"entity-type":"item","numeric-id":3928257,"id":"Q3928257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579940$E3B94C22-F0F7-44A9-A4E3-2D227D78EC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2db2690143610df6b80a2d6b732f58ae5fd9dc58","datavalue":{"value":{"entity-type":"item","numeric-id":3670574,"id":"Q3670574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579940$CA5E6823-F473-4C46-88EC-B715DE67749D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579940$60E11390-6C11-464E-A6E3-3D486FA5C562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579940$44320289-DBE0-4E8A-97CC-F22FBE65C81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579940$24559CF6-B9BA-413E-9751-22B76295589C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad82a7a686c1eae9cd7895531665e3a318487e00","datavalue":{"value":{"entity-type":"item","numeric-id":3694702,"id":"Q3694702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d87797153fc09ebefbb704376eab11f171907da","datavalue":{"value":{"amount":"+0.991708755493164","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":"Q579940$9D83E0A4-0612-4CF8-AAB3-980E75F413B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6846920fc0c840bed61358ba88572ce64b53da","datavalue":{"value":{"entity-type":"item","numeric-id":4896931,"id":"Q4896931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b108727a5a20a4c3f7116f3eeb2fc1c41187a85","datavalue":{"value":{"amount":"+0.8679161667823792","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":"Q579940$54438158-551C-498C-9B8E-6B8DD93FFBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e553a418165b204d4808986cc3c3eeb3b3064d","datavalue":{"value":{"entity-type":"item","numeric-id":4247287,"id":"Q4247287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2737f20513475929b772b075d3c5c27b91ac4b8b","datavalue":{"value":{"amount":"+0.8329216241836548","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":"Q579940$B4E91603-1E0E-469A-ADEF-27B63D7BA9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f56a2770d49fb5e1ee140b75733adf8bb4ed8f42","datavalue":{"value":{"entity-type":"item","numeric-id":4001266,"id":"Q4001266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4e702f4e2476f317b50b959cb53c3cd22421382","datavalue":{"value":{"amount":"+0.8139286041259766","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":"Q579940$283B7C94-8879-4428-8A49-5DBAE960505A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a0517dbac372c8f07c645e56c90ce22744d45d","datavalue":{"value":{"entity-type":"item","numeric-id":4207590,"id":"Q4207590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4e702f4e2476f317b50b959cb53c3cd22421382","datavalue":{"value":{"amount":"+0.8139286041259766","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":"Q579940$737939A8-E897-4905-93B0-2A36E648FFD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability trees for high-level Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_trees_for_high-level_Petri_nets"}}}}}