Text this: Dynamic Analysis of Petri Net-Based Discrete Systems