L'uso delle Reti di Petri per la modellazione della circolazione ferroviaria
- Day - Time: 30 November -0001, h.00:00
- Place: Area della Ricerca CNR di Pisa - Room: C-29
Speakers
- Stefano Ricci (Università degli Studi di Roma "La Sapienza")
Referent
Abstract
Cenni sulla Teoria delle Reti di Petri. Algebra e formalismo grafico delle Reti di Petri, Formulazione analitico matriciale, Situazioni fondamentali in una Rete di Petri,Tipologie di Reti di Petri, Estensioni della teoria delle Reti di Petri e problemi di standardizzazione. Le Reti di Petri utilizzabili nelle applicazioni ferroviarie. Reti di Petri estese, Proprietà estese delle marche, Proprietà estese delle transizioni, Proprietà estese dei posti , Reti di Petri e modelli gerarchici, Reti di Petri colorate. Architettura dei modelli per le analisi dell'esercizio ferroviario. Obiettivi e limiti dei modelli di simulazione, Struttura "object oriented", Reti estese mediante programmazione, Reti colorate e finestra di simulazione, Limiti nella possibilità di rappresentazione e simulazione, Elementi rappresentati e Classi costitutivi dei modelli, Funzionamento dei modelli. Esempio di modello per la tratta Roma-Formia. Descrizione della linea fini della sua rappresentazione nel modello, Cenni sui sistemi di comando e controllo, Rappresentazione nel modello, Simulazione dell'orario teorico nelle ore di punta, Simulazioni in regime perturbato nelle ore di punta, Effetto della cinematica del treno sulle simulazioni. Altre possibili applicazioni. Analisi dei passaggi a livello, Valutazione della capacità di circolazione nei nodi, Risoluzione dei conflitti ai nodi. Conclusioni. Obiettivi raggiunti, lacune da colmare, applicazioni possibili, sviluppi futuri.