{"entities":{"Q2415374":{"pageid":2426117,"ns":120,"title":"Item:Q2415374","lastrevid":73771518,"modified":"2026-04-14T17:12:48Z","type":"item","id":"Q2415374","labels":{"en":{"language":"en","value":"Equivalence checking of Petri net models of programs using static and dynamic cut-points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7057353"}},"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":"Q2415374$941B3DF9-2173-4061-9139-723F261D972D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05dfd5bb1723f69ce92f3c20ed49e02051722ef8","datavalue":{"value":{"text":"Equivalence checking of Petri net models of programs using static and dynamic cut-points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2415374$FA51D99E-0606-42AD-B834-9B400C129BC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67c0854ad7417fd76447c5a63eb3772b6d143a7d","datavalue":{"value":"1430.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415374$5F73C730-05AE-451D-B61A-33B3DA0E20B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"702c7da0016b23c334a02b32875713183724ad1b","datavalue":{"value":{"entity-type":"item","numeric-id":2089748,"id":"Q2089748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$BC58437A-84AE-4E02-85AF-7F666B231467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a77b47a62c0942dc9e69c32f223b7c78be35efc","datavalue":{"value":{"entity-type":"item","numeric-id":520248,"id":"Q520248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$50BBB591-7462-4E48-A6E6-44F99B6B897D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cfe2109b2edd5da02f43be28d824dbd2b10519a","datavalue":{"value":{"entity-type":"item","numeric-id":520249,"id":"Q520249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$68971D35-B408-4CB8-B51C-355FEAF54008","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$0C00EEA4-A61A-45C3-BA01-A3AB88221B44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47172647f90a50182889a072cc3f660611377e0d","datavalue":{"value":{"time":"+2019-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2415374$C28F338F-D86B-4FDE-AD7F-704E23D688C1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fdb350b4bfa702abbbbd5247af412e5b2a5d8f6b","datavalue":{"value":"Semantics-preserving transformation -- and in particular parallelization -- is an interesting and non-trivial problem of programs since the 1970s. This paper suggests executing this kind of transformation on models of the involved programs. The authors chose the modeling technique of coloured Petri nets (CPN), rightly justifying their choice by CPN's capacity to cope with data, to explicitly model concurrent behavior, and to sharply formulate (wanted and unwanted) properties. In CPN, data are represented by variables as they are in logic, not by store-like variables as they occur in programs. The paper demonstrates that this allows data dependencies to be depicted more directly thus making CPN particularly convenient as intermediate representations (IRs) of both the source and the transformed codes.  The paper starts with restricting the general CPN model to a version sufficient for the intended use cases. In particular, sets of parallelizable transitions are introduced. A core notion is computational equivalence between CPN models and the notion of (static and dynamic) cut points, used to cut computation sequences into pieces, and to construct equivalent computations piece-wise. Much effort is spent to describe efficient algorithms that for a given program construct an equivalent program with the wanted properties. All transformation algorithms are implemented, and experimental measurement results are presented in detail with the intention to show the algorithms' efficiency. Correctness arguments for the algorithms are moved to the appendix.       Altogether, this is an interesting and convincing approach. It is a pity that the English style is occasionally poor, thus reducing readability.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2415374$6E53B8E7-521B-4CEA-B9BC-9092ADC9EFEB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"81124864621cd52766c850a1bdb46948ab45f53b","datavalue":{"value":{"entity-type":"item","numeric-id":594596,"id":"Q594596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$8149A6B3-6F3E-4E01-8C83-3FEA5AD15C50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415374$BE196E1E-9871-4716-8157-9D84B8794360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415374$6ABAACC3-2F45-46C0-ACFC-39F01EB88725","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c8168976dee2ce3e1322dd697f70a3c87a6fabc","datavalue":{"value":"7057353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415374$EB7548C7-A470-4A5A-BE73-25F85DCBBF01","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3821f5fc5315a4102ae79407a65b6e0379c9a50d","datavalue":{"value":{"entity-type":"item","numeric-id":21601,"id":"Q21601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$BFE6C1CA-9E5A-4E2B-97E2-9F425BA5A9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d3037f8691af8046bb1aa53b2692039cfdbc3f0","datavalue":{"value":{"entity-type":"item","numeric-id":46448,"id":"Q46448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$016B0AAC-BB87-458B-B974-30821CE81D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58fd9ae78bef6a7339bc440d0a7eea678d42e32b","datavalue":{"value":{"entity-type":"item","numeric-id":46449,"id":"Q46449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$5FA8B710-EB8D-4DC1-BD98-7FD50A25440D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8a34ed504bdcc630adcb7f2b82bef0d65c6bd00f","datavalue":{"value":{"entity-type":"item","numeric-id":46450,"id":"Q46450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$EA4C348A-71CF-4E4D-8DDA-1B908BCA06F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79401c4f1fd60f922a175d75e607e6eb14cc3d82","datavalue":{"value":{"entity-type":"item","numeric-id":46451,"id":"Q46451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$47301029-C34E-4139-B363-F6EE2F9A6282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$95E1A8EC-FF21-4309-B620-267A81F05C01","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":"Q2415374$BAA7AD0F-044F-4245-BE00-2B952F81705F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5df818a6ec27173032b2bb9995df709b6b40abd8","datavalue":{"value":"https://doi.org/10.1007/s00236-018-0320-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2415374$8DC77B43-0F89-4E32-B9D1-EA13730B10B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f19f099a5fe94426efd2177bdc77aa5a2be5fa26","datavalue":{"value":"W2800044382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415374$8626F463-4521-494D-AD70-28B7C4187E63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93b2771c54de343e630711fe469257fd55e07ad","datavalue":{"value":{"entity-type":"item","numeric-id":5736439,"id":"Q5736439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$A7407489-5CF7-41DC-A4BB-9B1624FAA32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$EA887F83-383A-4B9E-90ED-96AC7CF69AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b609f8c97ef8f67e322aa110e5f66161c29ee1bb","datavalue":{"value":{"entity-type":"item","numeric-id":4598923,"id":"Q4598923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$A64EB4BF-BA06-4976-AC7B-10F0BF728E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c93aa020cf5800686368016dc4e9788d9ccc306","datavalue":{"value":{"entity-type":"item","numeric-id":4348471,"id":"Q4348471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$BFDCB387-4BBD-4C3F-8648-5C0B6AB237AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a99f310947f3fc6d764435e871fb3790fd14d9d","datavalue":{"value":{"entity-type":"item","numeric-id":3617245,"id":"Q3617245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$91C7605F-3BD2-4928-A996-99896A09F496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2e9956e014ae28c735471b8fe8bc11ac76e0c0","datavalue":{"value":{"entity-type":"item","numeric-id":5670164,"id":"Q5670164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$00B35946-49E9-43AB-8DE1-A6D18DB6DBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49cea7c08b149f6b32fff5bb526ae1e112463d75","datavalue":{"value":{"entity-type":"item","numeric-id":3877022,"id":"Q3877022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$D6716203-888F-4F2E-8EA1-39AB9295B1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"816da822097e8984825727782b96f7c2a862f08d","datavalue":{"value":{"entity-type":"item","numeric-id":3512510,"id":"Q3512510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$34485F26-32BD-4E9C-B8C3-48A326B543E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8b2a155ed88404385156f623c456d7bb589bcbb","datavalue":{"value":{"entity-type":"item","numeric-id":520250,"id":"Q520250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$4FE561C7-8143-49CD-944F-9EB0F4B80753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$A07384EF-4338-4DAE-BC1D-4B139B62A8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adcb6aa57809c0e9ccc83fdaaffdcaa6bdfbac67","datavalue":{"value":{"entity-type":"item","numeric-id":5703825,"id":"Q5703825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$6AA1312C-321F-477E-B4DF-16022FCDB50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e8e27f67044dfa1bf579e10e0ffa74aff1bb5dc","datavalue":{"value":{"entity-type":"item","numeric-id":4589207,"id":"Q4589207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$6D65F4AB-07CE-4EC3-B254-A3049CED91B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc05529ef2d422ecd957ea220942f35acdb647e","datavalue":{"value":{"entity-type":"item","numeric-id":2912697,"id":"Q2912697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$C7E27CAA-C680-4BE1-B644-F0B5E86F4D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39d2dd412893df3d421b995af30cd88d4372414","datavalue":{"value":{"entity-type":"item","numeric-id":1015390,"id":"Q1015390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$290819FF-3AE2-49FE-994C-CF26BCF1061D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae883b11d6999390b8e5590c44fb7a72d1809d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4909354,"id":"Q4909354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415374$5C7535ED-B9C4-448E-9FED-5C07EF4D0BD2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7d9fd6ffd915fe9199e0530e7e9220595b3361c3","datavalue":{"value":"Q129973371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415374$8941E5BF-5B6A-4987-8895-561254007AC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a975cce6ef38137bcaccc8db155eef206003ba29","datavalue":{"value":"10.1007/S00236-018-0320-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415374$DAB29F17-B56C-427E-A107-404C33A147F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba7b7eb39fe526dfc3b40c462bc131e10a49224","datavalue":{"value":{"entity-type":"item","numeric-id":3751024,"id":"Q3751024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19a39e80a39975726906be9efd35b5ef101f415","datavalue":{"value":{"amount":"+0.7663720846176147","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":"Q2415374$435571D1-AD70-46D6-94A9-1FDD677B399B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107d020cb152591f3a204c2b9a7a6ff140bb6a89","datavalue":{"value":{"entity-type":"item","numeric-id":4909354,"id":"Q4909354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd3b668e5a33a13d787cd461f8831426ebfd9f0","datavalue":{"value":{"amount":"+0.7559067606925964","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":"Q2415374$C693E67E-AF3B-48B0-9BD8-1F3B7674AD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd52a09bd267be44e00cc87c194830cbcc007071","datavalue":{"value":{"entity-type":"item","numeric-id":3683540,"id":"Q3683540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a5922f447365798a1d1a8177f59f32a2a95de9","datavalue":{"value":{"amount":"+0.7417286038398743","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":"Q2415374$01DE947F-4E00-4205-BB5E-72FF1A569843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b2c783ec51a7ada3c58f5da74c4b16039200d1","datavalue":{"value":{"entity-type":"item","numeric-id":3769974,"id":"Q3769974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c5ebd7589677c4585a3eb9b603ae119faf9556","datavalue":{"value":{"amount":"+0.7393779754638672","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":"Q2415374$C406D782-DCB2-4EE7-BF8F-12FB52F2DB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c06767ae57dd9e1472e0add9b112d64503a07b7","datavalue":{"value":{"entity-type":"item","numeric-id":5930945,"id":"Q5930945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0219dd31c1407f81537871ef0e69308f7ea6e590","datavalue":{"value":{"amount":"+0.7304685115814209","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":"Q2415374$AB8C26EB-22FF-49CC-A7E7-1E210D708BE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalence checking of Petri net models of programs using static and dynamic cut-points","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalence_checking_of_Petri_net_models_of_programs_using_static_and_dynamic_cut-points"}}}}}