Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta