Analysis Methods for Petri Nets