Analysis of Petri Nets and Transition Systems