Soundness and equivalence of Petri Nets and annotated finite state automate: A comparison in the SOA contextAndreas WombacherAxel Martens2007DEST 2007