Modelling proof-of-work agreement protocol by coloured Petri nets

IF 0.6 Q4 COMPUTER SCIENCE, THEORY & METHODS

International Journal of Parallel Emergent and Distributed Systems Pub Date : 2022-08-25 DOI:10.1080/17445760.2022.2113398

B. Pröll, W. Retschitzegger, W. Schwinger, T. Shmeleva, D. Zaitsev

{"title":"Modelling proof-of-work agreement protocol by coloured Petri nets","authors":"B. Pröll, W. Retschitzegger, W. Schwinger, T. Shmeleva, D. Zaitsev","doi":"10.1080/17445760.2022.2113398","DOIUrl":null,"url":null,"abstract":"Proof-of-work agreement protocol, offered by Keller and Böhme, is analysed by coloured Petri nets and refined. Blockchain technology, based on proof-of-work procedure and Nakomoto consensus negotiations, represents fundamentals of many kinds of cryptocurrency widespread recently. The protocol, called , works in continuous time which is simulated using random exponential distribution function of CPN Tools system, obtained values rounded to map them into discrete time of a coloured Petri net. Hierarchical model consists of an environment subnet and a given number of nodes communicating via an unstructured network represented by a single place; the model of node is further structured based on event handlers of the protocol source specification such as initialisation, activation, message delivering, and termination condition check. Based on the simulation results, modifications of the protocol and its parameters are recommended which improve some imperfections of the protocol. GRAPHICAL ABSTRACT","PeriodicalId":45411,"journal":{"name":"International Journal of Parallel Emergent and Distributed Systems","volume":null,"pages":null},"PeriodicalIF":0.6000,"publicationDate":"2022-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal of Parallel Emergent and Distributed Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1080/17445760.2022.2113398","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}

引用次数: 1

Abstract

Proof-of-work agreement protocol, offered by Keller and Böhme, is analysed by coloured Petri nets and refined. Blockchain technology, based on proof-of-work procedure and Nakomoto consensus negotiations, represents fundamentals of many kinds of cryptocurrency widespread recently. The protocol, called , works in continuous time which is simulated using random exponential distribution function of CPN Tools system, obtained values rounded to map them into discrete time of a coloured Petri net. Hierarchical model consists of an environment subnet and a given number of nodes communicating via an unstructured network represented by a single place; the model of node is further structured based on event handlers of the protocol source specification such as initialisation, activation, message delivering, and termination condition check. Based on the simulation results, modifications of the protocol and its parameters are recommended which improve some imperfections of the protocol. GRAPHICAL ABSTRACT

查看原文本刊更多论文

用彩色Petri网建模工作量证明协议协议

由Keller和Böhme提供的工作量证明协议协议通过彩色Petri网进行分析和改进。区块链技术基于工作量证明程序和中本共识谈判，代表了最近流行的多种加密货币的基本原理。该协议工作在连续时间，利用CPN Tools系统的随机指数分布函数进行模拟，得到四舍五入的值，并将其映射到彩色Petri网的离散时间。分层模型由一个环境子网和给定数量的节点组成，节点通过一个由单个地点表示的非结构化网络进行通信;节点模型基于协议源规范的事件处理程序(如初始化、激活、消息传递和终止条件检查)进一步结构化。在仿真结果的基础上，提出了改进协议及其参数的建议，改进了协议的一些不完善之处。图形抽象

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

International Journal of Parallel Emergent and Distributed Systems COMPUTER SCIENCE, THEORY & METHODS-

CiteScore

2.30

自引率

0.00%

发文量