//po wyjechaniu ze stacji cala naprzod
event Szlak_Retro-info putvalues 1.0 none 0 0 0.3 SetVelocity -1 -1 endevent

//wyjechanie pociagu na szlak powoduje:
event Szlak_Retro-Testowo multiple 0.5 none Szlak_Retro-info Retro-do-Testowo Testowo-z-Retro Retro-RozwPrzebiegi Retro_B_Sr1 Retro_C_Sr1 endevent
event Szlak_Retro-Konczyny multiple 1.5 none Szlak_Retro-info Retro-do-Konczyny Konczyny-z-Retro Retro-RozwPrzebiegi Retro_D_Sr1 Retro_E_Sr1 endevent

//informacja o statusie stacji: przebiegi, zajetosc torow szlakowych:
node -1 0 Retro-status memcell 0 0 0.3 Rozwiazany 0 0 none endmemcell

//rozwiazanie przebiegow
event Retro-RozwPrzebiegi updatevalues 15.0 Retro-status Rozwiazany * * endevent

//rozwiazanie przebiegow po wjechaniu na stacje:
event Retro-RozwG1 multiple 13.0 Retro-status Retro-RozwPrzebiegi Retro_A_Sr1 Retro_ToA_os1 Retro_ToD_os1 Retro-Testowo-wolny Testowo-Retro-wolny condition memcompare Zatwierdzony * * endevent
event Retro-RozwG2 multiple 11.0 Retro-status Retro-RozwPrzebiegi Retro_F_Sr1 Retro_ToF_os1 Retro_ToB_os1 Retro-Konczyny-wolny Konczyny-Retro-wolny condition memcompare Zatwierdzony * * endevent

//zgloszenie rezerwacji szlaku Testowo-Retro
event Retro-z-Testowo_zgloszenie updatevalues 0.0 Retro-status * 4 * endevent
event Testowo-z-Retro_zgloszenie updatevalues 0.0 Retro-status * 8 * endevent

//zgloszenie pociagu na szlaku Testowo-Retro
event Retro-z-Testowo updatevalues 0.0 Retro-status * 1 * endevent
event Testowo-z-Retro updatevalues 0.0 Retro-status * 2 * endevent

//zwolnienie odstepu miedzy stacjami Testowo-Retro
event Retro-Testowo-wolny updatevalues 10.0 Retro-status * 0 * endevent

//zgloszenie rezerwacji szlaku Retro-Konczyny
event Retro-z-Konczyny_zgloszenie updatevalues 0.0 Retro-status * * 8 endevent
event Konczyny-z-Retro_zgloszenie updatevalues 0.0 Retro-status * * 4 endevent

//zgloszenie pociagu na szlaku Retro-Konczyny
event Retro-z-Konczyny updatevalues 0.0 Retro-status * * 2 endevent
event Konczyny-z-Retro updatevalues 0.0 Retro-status * * 1 endevent

//zwolnienie odstepu miedzy stacjami Retro-Konczyny
event Retro-Konczyny-wolny updatevalues 11.0 Retro-status * * 0 endevent


//zatwierdzenie przebiegu
event Retro-Zatwierdz updatevalues 0.0 Retro-status Zatwierdzony * * endevent


//przebiegi do stacji: wazny jest czas opoznienia wyzwalania
event Testowo-Konczyny-przelotRetro1 multiple 1.0 Retro-status Retro-Zatwierdz Retro-zwr1- Retro-zwr2- Retro_ToA_os2 Retro_A_Sr2 Retro_ToD_os2 Retro_D_Sr2 condition memcompare Rozwiazany * 0 endevent
event Testowo-Retro2 multiple 2.0 Retro-status Retro-Zatwierdz Retro-zwr1+ Retro_ToA_os4 Retro_A_Sr3 Retro_E_Sr1 condition memcompare Rozwiazany * 8 endevent
event Testowo-Retro1 multiple 3.0 Retro-status Retro-Zatwierdz Retro-zwr1- Retro_ToA_os2 Retro_A_Sr2 Retro_ToD_os1 Retro_D_Sr1 condition memcompare Rozwiazany * * endevent
event Konczyny-Testowo-przelotRetro1 multiple 1.5 Retro-status Retro-Zatwierdz Retro-zwr2- Retro-zwr1- Retro_ToF_os2 Retro_F_Sr2 Retro_ToB_os2 Retro_B_Sr2 condition memcompare Rozwiazany 0 * endevent
event Konczyny-Retro2 multiple 2.5 Retro-status Retro-Zatwierdz Retro-zwr2+ Retro_ToF_os4 Retro_F_Sr3 Retro_C_Sr1 condition memcompare Rozwiazany 4 * endevent
event Konczyny-Retro1 multiple 3.5 Retro-status Retro-Zatwierdz Retro-zwr2- Retro_ToF_os2 Retro_F_Sr2 Retro_ToB_os1 Retro_B_Sr1 condition memcompare Rozwiazany * * endevent

//przebiegi ze stacji:
event Retro1-Testowo multiple 10.0 Retro-status Retro-Zatwierdz Retro-zwr1- Retro_B_Sr2 Retro-do-Testowo_zgloszenie condition memcompare Rozwiazany 0 * endevent
event Retro2-Testowo multiple 12.0 Retro-status Retro-Zatwierdz Retro-zwr1+ Retro_C_Sr3 Retro-do-Testowo_zgloszenie condition memcompare Rozwiazany 0 * endevent
event Retro1-Konczyny multiple 14.0 Retro-status Retro-Zatwierdz Retro-zwr2- Retro_D_Sr2 Retro-do-Konczyny_zgloszenie condition memcompare Rozwiazany * 0 endevent
event Retro2-Konczyny multiple 16.0 Retro-status Retro-Zatwierdz Retro-zwr2+ Retro_E_Sr3 Retro-do-Konczyny_zgloszenie condition memcompare Rozwiazany * 0 endevent


//wyzwalanie przebiegow: wszystkie mozliwe ale ktory pierwszy ten lepszy (bo blokuje nastepne)
event od-Testowo multiple 14 Retro-status Testowo-Konczyny-przelotRetro1 Testowo-Retro2 Testowo-Retro1 condition memcompare Rozwiazany 1 * endevent
event od-Konczyny multiple 11 Retro-status Konczyny-Testowo-przelotRetro1 Konczyny-Retro2 Konczyny-Retro1 condition memcompare Rozwiazany * 2 endevent
