Verifica e previsione della regolarità del traffico ferroviario con un modello di simulazione basato sulle Reti di Petri - Check and forecasting of railway traffic regularity by a PETRI Nets based simulation model

L’articolo mostra le caratteristiche principali di un modello di simulazione dell’esercizio ferroviario. Utilizzando il formalismo grafico delle Reti di PETRI il modello simula il funzionamento degli enti elementari che costituiscono i sistemi di controllo dell’esercizio ferroviario attraverso la ricostruzione dei passaggi logici che li caratterizzano con l’ausilio delle Reti di PETRI estese, gerarchiche e colorate. Il modello può essere applicato negli studi di regolarità del traffico ferroviario su una linea e può inoltre essere usato efficacemente come supporto alle decisioni nella pianificazione di nuove linee e dei relativi orari di esercizio, nell’adeguamento di linee esistenti con mutate condizioni di traffico ed in fase di gestione del traffico per minimizzare i ritardi, essendo il modello dotato di un sistema automatico di precedenze.