{"id":"https://openalex.org/W4293230633","doi":"https://doi.org/10.1080/17445760.2022.2113398","title":"Modelling proof-of-work agreement protocol by coloured Petri nets","display_name":"Modelling proof-of-work agreement protocol by coloured Petri nets","publication_year":2022,"publication_date":"2022-08-25","ids":{"openalex":"https://openalex.org/W4293230633","doi":"https://doi.org/10.1080/17445760.2022.2113398"},"language":"en","primary_location":{"id":"doi:10.1080/17445760.2022.2113398","is_oa":false,"landing_page_url":"https://doi.org/10.1080/17445760.2022.2113398","pdf_url":null,"source":{"id":"https://openalex.org/S85375271","display_name":"International Journal of Parallel Emergent and Distributed Systems","issn_l":"1744-5760","issn":["1744-5760","1744-5779"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Parallel, Emergent and Distributed Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072239317","display_name":"Birgit Pr\u00f6ll","orcid":"https://orcid.org/0009-0004-6519-2127"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Birgit Pr\u00f6ll","raw_affiliation_strings":["Department of Computer Science, Johannes Kepler University, Linz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087199959","display_name":"Werner Retschitzegger","orcid":null},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Werner Retschitzegger","raw_affiliation_strings":["Department of Computer Science, Johannes Kepler University, Linz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086880405","display_name":"Wieland Schwinger","orcid":"https://orcid.org/0000-0002-7895-3165"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Wieland Schwinger","raw_affiliation_strings":["Department of Computer Science, Johannes Kepler University, Linz, Austria"],"raw_orcid":"https://orcid.org/0000-0002-7895-3165","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053265608","display_name":"Tatiana R. Shmeleva","orcid":"https://orcid.org/0000-0002-4799-3842"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Tatiana R. Shmeleva","raw_affiliation_strings":["Department of Computer Science, Johannes Kepler University, Linz, Austria"],"raw_orcid":"https://orcid.org/0000-0002-4799-3842","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033228887","display_name":"Dmitry A. Zaitsev","orcid":"https://orcid.org/0000-0001-5698-7324"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Dmitry A. Zaitsev","raw_affiliation_strings":["Department of Computer Science, Johannes Kepler University, Linz, Austria"],"raw_orcid":"https://orcid.org/0000-0001-5698-7324","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5033228887"],"corresponding_institution_ids":["https://openalex.org/I121883995"],"apc_list":null,"apc_paid":null,"fwci":0.5707,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.68263335,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"37","issue":"6","first_page":"597","last_page":"612"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8236243724822998},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7629403471946716},{"id":"https://openalex.org/keywords/subnet","display_name":"Subnet","score":0.7220910787582397},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.7149738669395447},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.5781711935997009},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5197286605834961},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43187689781188965},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.34669229388237},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0935761034488678}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8236243724822998},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7629403471946716},{"id":"https://openalex.org/C21099817","wikidata":"https://www.wikidata.org/wiki/Q7631721","display_name":"Subnet","level":2,"score":0.7220910787582397},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.7149738669395447},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.5781711935997009},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5197286605834961},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43187689781188965},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.34669229388237},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0935761034488678},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/17445760.2022.2113398","is_oa":false,"landing_page_url":"https://doi.org/10.1080/17445760.2022.2113398","pdf_url":null,"source":{"id":"https://openalex.org/S85375271","display_name":"International Journal of Parallel Emergent and Distributed Systems","issn_l":"1744-5760","issn":["1744-5760","1744-5779"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Parallel, Emergent and Distributed Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W2003214215","https://openalex.org/W2034964118","https://openalex.org/W2035362408","https://openalex.org/W2071187449","https://openalex.org/W2089138728","https://openalex.org/W2551937259","https://openalex.org/W2914945775","https://openalex.org/W2917658270","https://openalex.org/W2961680519","https://openalex.org/W3009529394","https://openalex.org/W3088537673","https://openalex.org/W3180566358","https://openalex.org/W4200205142","https://openalex.org/W4206513752","https://openalex.org/W4210911253","https://openalex.org/W4225852467","https://openalex.org/W4233638130","https://openalex.org/W4240562613","https://openalex.org/W4243683898","https://openalex.org/W4255478349","https://openalex.org/W4296658417"],"related_works":["https://openalex.org/W1671817583","https://openalex.org/W2295291212","https://openalex.org/W2377891237","https://openalex.org/W2014292684","https://openalex.org/W2377615010","https://openalex.org/W4238125051","https://openalex.org/W2046360368","https://openalex.org/W2155660625","https://openalex.org/W2908824635","https://openalex.org/W2142999730"],"abstract_inverted_index":{"Proof-of-work":[0],"agreement":[1],"protocol,":[2,36],"offered":[3],"by":[4,10,88],"Keller":[5],"and":[6,14,22,76,114,127],"B\u00f6hme,":[7],"is":[8,44,96],"analysed":[9],"coloured":[11,66],"Petri":[12,67],"nets":[13],"refined.":[15],"Blockchain":[16],"technology,":[17],"based":[18,99],"on":[19,100,119],"proof-of-work":[20],"procedure":[21],"Nakomoto":[23],"consensus":[24],"negotiations,":[25],"represents":[26],"fundamentals":[27],"of":[28,31,51,64,72,80,94,103,124,136],"many":[29],"kinds":[30],"cryptocurrency":[32],"widespread":[33],"recently.":[34],"The":[35],"called":[37],"Ak,":[38],"works":[39],"in":[40],"continuous":[41],"time":[42,63],"which":[43,132],"simulated":[45],"using":[46],"random":[47],"exponential":[48],"distribution":[49],"function":[50],"CPN":[52],"Tools":[53],"system,":[54],"obtained":[55],"values":[56],"rounded":[57],"to":[58],"map":[59],"them":[60],"into":[61],"discrete":[62],"a":[65,77,89],"net.":[68],"Hierarchical":[69],"model":[70,93],"consists":[71],"an":[73,84],"environment":[74],"subnet":[75],"given":[78],"number":[79],"nodes":[81],"communicating":[82],"via":[83],"unstructured":[85],"network":[86],"represented":[87],"single":[90],"place;":[91],"the":[92,104,120,125,137],"node":[95],"further":[97],"structured":[98],"event":[101],"handlers":[102],"protocol":[105,126],"source":[106],"specification":[107],"such":[108],"as":[109],"initialisation,":[110],"activation,":[111],"message":[112],"delivering,":[113],"termination":[115],"condition":[116],"check.":[117],"Based":[118],"simulation":[121],"results,":[122],"modifications":[123],"its":[128],"parameters":[129],"are":[130],"recommended":[131],"improve":[133],"some":[134],"imperfections":[135],"protocol.":[138]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}