Pātuhitia tēnei: Petri nets