Petri Net Modeling and Analysis of the Drug Traceability System Based on Blockchain | IEEE Conference Publication | IEEE Xplore