SMS dit: Petri nets