Formal Analysis of Smart Contract Based on Colored Petri Nets[J] IEEE INTELLIGENT SYSTEMS 2020(35) Duo, Wang Xin, Huang Xiaofeng, Ma
