Petri nets 2027