SMS: Petri nets