[1]. David R., Alla H., Continuous and Hybrid Petri Nets, Discrete, Springer 2005.
	[2]. Dąbrowa-Bajon M., Podstawy sterowania ruchem kolejowym, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa 2002.
	[3]. Hruz B., Zhou M.C., Modeling and Control of Discrete-Event Dynamic Systems with Petri Nets and other tool, Springer, 2007.
	[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.
	[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.
	[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.
	[7]. Mielnik R., Synthesis of controller for railway – level crossing devices using Petri Nets and state machine, Technical Transactions 1-E (2)/2016.
	[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.
	[9]. Starke Peter H., Żurek J., Sieci Petriego: podstawy, zastosowania, teoria, PWN, Warszawa 1987.
	[10]. Szmuc T., Szpyrka M., Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego, WNT, Warszawa 2010.
	[11]. Szpyrka M., Sieci Petriego w modelowaniu i analizie systemów współbieżnych, WNT, Warszawa 2008.
	[12]. Winiecki W., Organizacja komputerowych systemów pomiarowych, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa 2006.
	[13]. Kornaszewski M., Systemy zasilania rezerwowego urządzeń sterowania ruchem kolejowym, Logistyka 10/2013.
	[14]. System zasilania urządzeń sterowania typu SZUS – Album urządzeń zasilajacych, KZA Kraków, 1995.
	[15]. System zasilania urządzeń stacyjnych type ELZAS, Dokumentacja Techniczno-Ruchowa, KZA Kraków, 2005.
	[16]. Wytyczne techniczne budowy urządzeń sterowania ruchem kolejowym, Ie-4 (WTB-E10), PKP Polskie Linie KolejoweS.A. Warszawa 2014.
	[17]. National Instruments website, www.ni.com (access: 03.07.2017).
	[18]. National Instruments website www.ni.com/tutorial/7425/en/ LabVIEW Statechart Module Tutorial (access: 03.07.2017).