Αποστολή με SMS: Dynamic Analysis of Petri Net-Based Discrete Systems