Text this: Dynamic analysis of Petri net-based discrete systems /