Zaslat SMS: Advances in Petri Net