Axes counter for a train model implemented with a petri net