Invia SMS: Advances in Petri Nets 1984