@misc{indiciaec79d62627684, title = {A Petri Nets Model for Blockchain Analysis}, author = {Andrea Pinna and Roberto Tonelli and Matteo OrrĂº and Michele Marchesi}, year = {2017}, url = {https://arxiv.org/abs/1709.07790}, note = {Source identifier: 1709.07790} }