Decision diagrams for Petri nets: which variable ordering?