Text this: Modeling and Detection of Blockchain Smart Contract Attackers Based on Petri Nets