{"entities":{"Q5941099":{"pageid":8117901,"ns":120,"title":"Item:Q5941099","lastrevid":47657860,"modified":"2026-01-02T08:49:28Z","type":"item","id":"Q5941099","labels":{"en":{"language":"en","value":"Nonprimitive recursive complexity and undecidability for Petri net equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635264"}},"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":"Q5941099$E109514C-8CEA-4036-AE7E-8090A6B6D8C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c22af1ef602801d5dca082375269cdabd83ad350","datavalue":{"value":{"text":"Nonprimitive recursive complexity and undecidability for Petri net equivalences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941099$240A2550-D33B-469E-A54F-5127E5D900ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68129c00e1456c918ff2379c8c770119072b51da","datavalue":{"value":"0974.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941099$97E8F468-0962-4459-8FCC-7977B007F753","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ae355dddd376dc9caf24ae1909372defbb79a70","datavalue":{"value":"10.1016/S0304-3975(00)00100-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941099$B2338600-30B4-4184-BFB2-B77F69D61140","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941099$FDCB0D83-21C8-40D8-B530-E0C23D48B570","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":"Q5941099$9CA27ECC-F84B-46FF-A0E6-120D552CE619","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941099$3F8DFCB5-F911-46F1-9B1D-A48A067D4B14","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5518309e8f940f4dd9dd90a3d0f82259f51335b4","datavalue":{"value":"The aim of this note is twofold. Firstly, it shows that the undecidability result for bisimilarity in [the author, ibid. 148, No. 2, 281-301 (1985; Zbl 0873.68147)] can be immediately extended for the whole range of equivalences (and preorders) on labelled Petri nets. Secondly, it shows that restricting our attention to nets with finite reachable space, the respective (decidable) problems are nonprimitive recursive; this approach also applies to \\textit{E. W. Mayr} and \\textit{A. R. Meyer}'s result [J. Assoc. Comput. Mach. 28, 561-576 (1981; Zbl 0462.68020)] for the reachability set equality, yielding a more direct proof.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941099$879F1CA0-3EC8-4988-83AD-FC5F5BC792ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941099$2C15366B-8D06-4C4B-AD29-8759015ACE34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4785ab4ff053ec41c28819f9c27d31217ad80990","datavalue":{"value":"1635264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941099$736DBD65-1072-42B5-B248-E50F89D59C1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b376be293df8594c8ddd37d9b4adc6974763eae5","datavalue":{"value":"Petri-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941099$B4C8B991-7ECC-42D9-A1B4-31430045C986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941099$6C6F0349-5E99-4061-8A29-8E0F51D32406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941099$85431D22-9007-4CE7-A7F3-4B096B4453AA","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":"Q5941099$BE2954CF-866A-485E-9EAA-B6231BFB4422","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8485296520fe3d505e9f3c097bb6752db8cffa","datavalue":{"value":{"entity-type":"item","numeric-id":4251918,"id":"Q4251918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941099$257F3087-634B-426E-870A-1244B045BB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f911c4d17eb514630e7689684ba45d7003ae8275","datavalue":{"value":{"entity-type":"item","numeric-id":4858945,"id":"Q4858945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941099$31E40CAE-5BF6-48E7-B477-D45BD3D4450E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1341c730f9bc9e8bcb4f15d4ad9d8d15798a9c8","datavalue":{"value":{"entity-type":"item","numeric-id":4299862,"id":"Q4299862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941099$2304C1E6-CCAA-474C-81E8-DDB2E96A3813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6981775c3bdaad566fe065afd3c04ece6176878a","datavalue":{"value":{"entity-type":"item","numeric-id":1238997,"id":"Q1238997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941099$11AD63E0-B72B-42A4-9829-E66419B84343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93452c09e5c135449e27e64c08e7156c299cc1ca","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941099$BA231554-14D2-4933-BE10-22624BEA6443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c5123d30f3e5ef39d9c108dee7df86c75b2f60","datavalue":{"value":{"entity-type":"item","numeric-id":1854338,"id":"Q1854338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941099$A9AFE1DD-8DFA-4DF3-83CD-C56E7D91DFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d7d93a9512ab236f4772935e1df8ec2aa25fe5","datavalue":{"value":{"entity-type":"item","numeric-id":6104374,"id":"Q6104374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941099$D7F2053C-1C7E-4843-A5DB-3FCFD0C90EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941099$40A58DAE-38F7-4492-8685-57F83574FB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ec5d09b5c750f80e0bef8173b6beb42d02f375","datavalue":{"value":{"entity-type":"item","numeric-id":3912016,"id":"Q3912016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941099$BDA5C7DB-79A0-40DF-A2EC-934E60265BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941099$EA458974-AC78-4959-A611-3CE9A6BFBED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96b691fd3418c23318e386f97f9be78e6fadf04","datavalue":{"value":{"entity-type":"item","numeric-id":396979,"id":"Q396979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941099$B6C022D4-3D9B-47D9-882E-0D2FD19C7C14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfd0ea6020d873c650647b2c5fb2f31e3ee358ef","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00100-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941099$C07D363F-7C9F-4C5D-A714-80F79573C7AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bfd3f594527fdde7f9697c10dbbd7d6d5919322","datavalue":{"value":"W2081063330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941099$50B03769-DE4A-4287-BB64-DBC87098FFF3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"17a555bdb4d76ce7c73deef9225c81efee311af7","datavalue":{"value":"Q127908569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941099$C1D20D40-4CDA-41DE-8609-D53CE5FD4C5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b66d01a423ca05009f4cb2738ab23bffde9156e9","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0269adea0489ce932018e9b16f580548a62e1e0f","datavalue":{"value":{"amount":"+0.8792513608932495","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":"Q5941099$8211EEDA-99A6-4BFF-ACB8-AD6A2A5C38FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6383ca3ad0f865e4b1851ad9a1eb25ab08616fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4525284,"id":"Q4525284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98771782f5be1f2404ee4f36c8f604a414ddd65","datavalue":{"value":{"amount":"+0.840104341506958","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":"Q5941099$16438929-683B-4190-B48A-E1AABBBB96F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e8fc93a67887c97f5139257894ef7fcabc8e09","datavalue":{"value":{"entity-type":"item","numeric-id":4818859,"id":"Q4818859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed7dd5475155888428e3011f5188bb70b76cf1b","datavalue":{"value":{"amount":"+0.8326813578605652","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":"Q5941099$F4577EF8-6848-4F2C-B1FD-AE2900910CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc224367185c7e2f0bb6d7917b4953a02609c4d7","datavalue":{"value":{"entity-type":"item","numeric-id":5096742,"id":"Q5096742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb16acb87125983e6e888e7346075d50a37af374","datavalue":{"value":{"amount":"+0.8300188183784485","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":"Q5941099$D9EB4714-472A-435A-9951-376291AB1D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2516069ed424f4e78b8f71cd50e295a83ba38ac","datavalue":{"value":{"entity-type":"item","numeric-id":1970202,"id":"Q1970202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef9da1e3e0fe7e6ed7bf8ec133a7e76921dbb026","datavalue":{"value":{"amount":"+0.817772388458252","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":"Q5941099$C3A3B3EC-4967-4406-A0E8-108B0BCD2D69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941099"}}}}}