Zaslať SMS: Teorija setej Petri i modelirovanije sistem