Decision diagrams for Petri nets: a comparison of variable ordering algorithms