Introduces AMSs with focus on their deadlock control issues.Discusses the basic concepts and definitions of Petri nets, including siphons, P-invariants, state equations, reachable sets, and reachability graphs.Formulates symbolic computation and analysis methods of bounded Petri…
