[[1] David R., Alla H., Continuous and Hybrid Petri Nets, Discrete, Springer 2005.]Search in Google Scholar
[[2] Dąbrowa-Bajon M., Podstawy sterowania ruchem kolejowym, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa 2002.]Search in Google Scholar
[[3] Hruz B., Zhou M.C., Modeling and Control of Discrete-Event Dynamic Systems with Petri Nets and other tool, Springer, 2007.]Search in Google Scholar
[[4] Lewiński A., Perzyński T., Nowe rozwiązania komputerów sterujących w systemach sterowania ruchem kolejowym na przykładzie SSP, Materiały konferencyjne „Transport w XXI wieku”, Warszawa 2001.]Search in Google Scholar
[[5] Mielnik R., Petri Net as a tool for modelling a microprocessor measurement-control system using in critical applications, Proceedings of the IMEKO-TC7 Symposium, Cracow 2002.]Search in Google Scholar
[[6] Mielnik R., Synteza sterownika układu SZR urządzeń zasilania ruchem kolejowym z wykorzystaniem sieci Petriego oraz środowiska Labview, Materiały XVII Ogólnopolskiej Konferencji Naukowej Trakcja Elektryczna, SEMTRAK, Zakopane 2016.]Search in Google Scholar
[[7] Mielnik R., Synthesis of controller for railway – level crossing devices using Petri Nets and state machine, Technical Transactions 1-E (2)/2016.]Search in Google Scholar
[[8] Mielnik R., Sułowicz M., Ludwinek K., Jaśkiewicz M., The reliability of critical systems in railway transport based on the track rail circuit, Lecture Notes in Electrical Engineering, Springer 2018, Vol. 452, pp. 377 – 393.10.1007/978-3-319-63949-9_25]Search in Google Scholar
[[9] Starke Peter H., Żurek J., Sieci Petriego: podstawy, zastosowania, teoria, PWN, Warszawa 1987.]Search in Google Scholar
[[10] Szmuc T., Szpyrka M., Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego, WNT, Warszawa 2010.]Search in Google Scholar
[[11] Szpyrka M., Sieci Petriego w modelowaniu i analizie systemów współbieżnych, WNT, Warszawa 2008.]Search in Google Scholar
[[12] Winiecki W., Organizacja komputerowych systemów pomiarowych, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa 2006.]Search in Google Scholar
[[13] Kornaszewski M., Systemy zasilania rezerwowego urządzeń sterowania ruchem kolejowym, Logistyka 10/2013.]Search in Google Scholar
[[14] System zasilania urządzeń sterowania typu SZUS – Album urządzeń zasilajacych, KZA Kraków, 1995.]Search in Google Scholar
[[15] System zasilania urządzeń stacyjnych type ELZAS, Dokumentacja Techniczno-Ruchowa, KZA Kraków, 2005.]Search in Google Scholar
[[16] Wytyczne techniczne budowy urządzeń sterowania ruchem kolejowym, Ie-4 (WTBE10), PKP Polskie Linie KolejoweS.A. Warszawa 2014.]Search in Google Scholar
[[17] National Instruments website, www.ni.com (access: 03.07.2017).]Search in Google Scholar
[[18] National Instruments website www.ni.com/tutorial/7425/en/LabVIEW Statechart Module Tutorial (access: 03.07.2017).]Search in Google Scholar
| May 21, 2020