Email Record: Dynamic analysis of Petri net-based discrete systems /