A Petri Nets Model for Blockchain Analysis[J] COMPUTER JOURNAL 2018(61) Pinna, Andrea Tonelli, Roberto Orru, Matteo Marchesi, Michele