{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T03:28:07Z","timestamp":1778210887394,"version":"3.51.4"},"reference-count":33,"publisher":"Informa UK Limited","issue":"1","license":[{"start":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T00:00:00Z","timestamp":1698105600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62076189"],"award-info":[{"award-number":["62076189"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62102285"],"award-info":[{"award-number":["62102285"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Parallel, Emergent and Distributed Systems"],"published-print":{"date-parts":[[2024,1,2]]},"DOI":"10.1080\/17445760.2023.2273452","type":"journal-article","created":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T05:21:08Z","timestamp":1698211268000},"page":"32-50","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":4,"title":["Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design"],"prefix":"10.1080","volume":"39","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5698-7324","authenticated-orcid":false,"given":"Dmitry A.","family":"Zaitsev","sequence":"first","affiliation":[{"name":"Department of Intelligent Systems and Networks, University of Information Technology and Management in Rzeszow, Rzeszow, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4799-3842","authenticated-orcid":false,"given":"Tatiana R.","family":"Shmeleva","sequence":"additional","affiliation":[{"name":"Laboratory of Computer Science, Signals and Systems, CNRS, Universit\u00e9 C\u00f4te d'Azur, CNRS I3S, Nice, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-9516-7889","authenticated-orcid":false,"given":"Zeyu","family":"Zhou","sequence":"additional","affiliation":[{"name":"School of Mechano-Electronic Engineering, Xidian University, Xi'an, People's Republic of China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0159-8545","authenticated-orcid":false,"given":"Ding","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Mechano-Electronic Engineering, Xidian University, Xi'an, People's Republic of China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2023,10,24]]},"reference":[{"key":"e_1_3_2_2_1","doi-asserted-by":"publisher","DOI":"10.1080\/17445760.2022.2113398"},{"key":"e_1_3_2_3_1","doi-asserted-by":"crossref","unstructured":"Keller P B\u00f6hme R. Parallel proof-of-work with concrete bounds. 2022 Mar. Available at: arXiv:2204.00034.","DOI":"10.1145\/3558535.3559773"},{"key":"e_1_3_2_4_1","doi-asserted-by":"crossref","unstructured":"Zaitsev DA Shmeleva TR Sleptsov AI. Reenterable colored Petri net models of networks grids and clouds: case study for provider backbone bridge. In: Proceedings of 26th Telecommunications Forum (TELFOR). Belgrade Serbia: IEEE; 2018. p. 1\u201383.","DOI":"10.1109\/TELFOR.2018.8611840"},{"key":"e_1_3_2_5_1","unstructured":"Nakamoto S. Bitcoin: a peer-to-peer electronic cash system. Technical report; 2008."},{"key":"e_1_3_2_6_1","volume-title":"Clans of Petri nets: verification of protocols and performance evaluation of networks","author":"Zaitsev DA.","year":"2013","unstructured":"Zaitsev DA. Clans of Petri nets: verification of protocols and performance evaluation of networks. London: LAP LAMBERT Academic Publishing; 2013."},{"key":"e_1_3_2_7_1","unstructured":"Ren L. Analysis of nakamoto consensus cryptology ePrint archive. Paper 2019\/943 2019. Available at: https:\/\/eprint.iacr.org\/2019\/943."},{"key":"e_1_3_2_8_1","doi-asserted-by":"crossref","unstructured":"Cassez F Fuller J Asgaonkar A. Formal verification of the Ethereum 2.0 Beacon Chain. In: Fisman D Rosu G editors. Tools and algorithms for the construction and analysis of systems TACAS 2022. Cham: Springer; 2022. (Lecture Notes in Computer Science; 13243).","DOI":"10.1007\/978-3-030-99524-9_9"},{"key":"e_1_3_2_9_1","unstructured":"\u00dcnsal E \u00d6rnek HK Ta\u015fdemir \u015e. A review of hashing algorithms in cryptocurrency. In: Proceedings of International Conference on Frontiers in Academic Research; Vol. 1. New York: All Sciences Academy; 2023. p. 544\u2013550."},{"key":"e_1_3_2_10_1","unstructured":"Merkle RC. A digital signature based on a conventional encryption function. In: Pomerance C editor. Advances in cryptology \u2013 CRYPTO 8'7. CRYPTO 1987. Berlin Heidelberg: Springer; 1987. (Lecture Notes in Computer Science; 293)."},{"key":"e_1_3_2_11_1","unstructured":"Sato S Banno R Furuse J et\u00a0al. Verification of a merkle patricia tree library using F*. 2021 Jun. Available at arXiv:2106.04826."},{"key":"e_1_3_2_12_1","unstructured":"Shi X Xiao H Liu W et\u00a0al. Confronting the carbon-footprint challenge of blockchain. 2021 Dec. Available at: arXiv:2201.06929."},{"key":"e_1_3_2_13_1","unstructured":"Kuszmaul J. Verkle Trees. 2019 Jun [Online]. Available at: https:\/\/math.mit.edu\/research\/highschool\/primes\/materials\/2018\/."},{"key":"e_1_3_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/321479.321481"},{"key":"e_1_3_2_15_1","doi-asserted-by":"crossref","unstructured":"Anupama BS Sunitha NR. Analysis of the consensus protocols used in blockchain networks \u2013 an overview. In: Proceedings of 2022 IEEE International Conference on Data Science and Information System (ICDSIS). Hassan India; 2022. p. 1\u20136.","DOI":"10.1109\/ICDSIS55133.2022.9915929"},{"key":"e_1_3_2_16_1","unstructured":"Buterin V Hernandez D Kamphefner T et\u00a0al. Combining GHOST and Casper. 2020 May. Available at: arXiv:2003.03052."},{"key":"e_1_3_2_17_1","doi-asserted-by":"crossref","unstructured":"Ambili KN Sindhu M Sethumadhavan M. On federated and proof of validation based consensus algorithms in blockchain. In: IOP Conference Series: Materials Science and Engineering Vol. 225 no. 1. Bristol: IOPscience; 2017.","DOI":"10.1088\/1757-899X\/225\/1\/012198"},{"key":"e_1_3_2_18_1","unstructured":"Chase B MacBrough E. Analysis of the XRP ledger consensus protocol. 2018. Available at: arXiv:1802.07242."},{"key":"e_1_3_2_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1976.1055638"},{"key":"e_1_3_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357176"},{"key":"e_1_3_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33278-4"},{"key":"e_1_3_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"e_1_3_2_23_1","unstructured":"CPN Tools. [Online]. Available at: https:\/\/cpntools.org\/."},{"key":"e_1_3_2_24_1","volume-title":"Elements of ML programming","author":"Ullman JD.","year":"1994","unstructured":"Ullman JD. Elements of ML programming. 2nd ed. London: Pearson; 1994.","edition":"2"},{"key":"e_1_3_2_25_1","volume-title":"Simulation using GPSS","author":"Schriber TJ.","year":"1974","unstructured":"Schriber TJ. Simulation using GPSS. New York: John Wiley & Sons Inc.; 1974."},{"key":"e_1_3_2_26_1","unstructured":"Falor K. Code schemes vary with management goals. Computerworld 1979 Apr p. 51."},{"key":"e_1_3_2_27_1","unstructured":"Zaitsev DA Shmeleva TR. Simulating telecommunication systems with CPN tools. Odessa (Ukraine): ONAT 2006. [Online]. Available at: http:\/\/daze.ho.ua\/cpnmp2.pdf."},{"key":"e_1_3_2_28_1","unstructured":"Zaitsev DA Shmeleva TR. Parametric Petri net model for ethernet performance and Qos evaluation. In: Proceedings of 16th Workshop on Algorithms and Tools for Petri Nets. Germany: University of Karlsruhe; 2009 Sep. p. 15\u201328."},{"key":"e_1_3_2_29_1","doi-asserted-by":"publisher","DOI":"10.15588\/1607-3274-2016-4-12"},{"key":"e_1_3_2_30_1","unstructured":"Shmeleva TR. Parametrical model of MPLS networks in the form of colored Petri nets. In: Proceedings of ONAT. Odessa Ukraine: ONAT (Odessa National Academy of Telecommunications); 2009. p. 79\u201385. Available at: https:\/\/biblio.suitt.edu.ua\/bitstream\/handle\/123456789\/389\/."},{"key":"e_1_3_2_31_1","doi-asserted-by":"publisher","DOI":"10.1080\/17445760.2021.1952580"},{"key":"e_1_3_2_32_1","unstructured":"Zaitsev DA. CPN tools models of dmitry zaitsev [Online]. Available at: https:\/\/github.com\/dazeorgacm\/CPNToolsZaitsev."},{"key":"e_1_3_2_33_1","unstructured":"Shmeleva TR. CPN tools models of Tatiana R. Shmeleva [Online]. Available at: https:\/\/github.com\/tishtri\/CPNToolsShmelevaTR."},{"key":"e_1_3_2_34_1","unstructured":"Cisco Systems\u2019 Tag Switching Architecture Overview IETF RFC 2105 1997 Feb."}],"container-title":["International Journal of Parallel, Emergent and Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/17445760.2023.2273452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,24]],"date-time":"2024-09-24T17:49:23Z","timestamp":1727200163000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/17445760.2023.2273452"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,24]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,1,2]]}},"alternative-id":["10.1080\/17445760.2023.2273452"],"URL":"https:\/\/doi.org\/10.1080\/17445760.2023.2273452","relation":{},"ISSN":["1744-5760","1744-5779"],"issn-type":[{"value":"1744-5760","type":"print"},{"value":"1744-5779","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,10,24]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=gpaa20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=gpaa20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2023-10-13","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-10-17","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-10-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}