Dynamic Analysis of Petri Net-Based Discrete Systems