Railway traffic management: a decision support tool based on the Petri Nets models