發送短信 : Voprosy deskriptivnogo modelirovani︠i︡a sistem pri pomoshchi seteĭ Petri /