Modelling proof-of-work agreement protocol by coloured Petri nets[J] INTERNATIONAL JOURNAL OF PARALLEL EMERGENT AND DISTRIBUTED SYSTEMS Proell, Birgit Retschitzegger, Werner Schwinger, Wieland Shmeleva, Tatiana R. Zaitsev, Dmitry A.
