The use of Petri nets models in railway traffic applications