Hardware and Petri nets Symbolic methods for analysis and verification Outline Representing Boolean functions with BDDs Symbolic traversal for reachability set calculation…