1. A MODIFIED REACHABILITY TREE APPROACH TO ANALYSIS OF UNBOUNDED PETRINETS Instructor: Prof. Lingxi li Course: Introduction to Discrete Event Dynamic Systems Presented by:…