Petri nets 2021