On the use of Petri Nets in Smart Contracts modeling, generation and verification | IEEE Conference Publication | IEEE Xplore