Envoyer par SMS: Teorija setej Petri i modelirovanije sistem