Open Access
MATEC Web of Conferences
Volume 180, 2018
13th International Conference Modern Electrified Transport – MET’2017
Article Number 05004
Number of page(s) 5
Section Automatics, Control and Management in Electrified Transport
Published online 27 July 2018
  1. W. Winiecki, Organization of computer measuring systems, Warsaw University of Technology Publishing House, Warsaw, 2006) [In Polish] [Google Scholar]
  2. M. Dąbrowa-Bajon, Basics of railway traffic control (Warsaw University of Technology Publishing House, Warsaw 2002) [In Polish]. [Google Scholar]
  3. A. Lewiński and Perzyński, New solutions of control computers in railway traffic control systems on the example of SSP, (Conference materials, Transport in the 21st century, Warsaw 2001) [In Polish] [Google Scholar]
  4. R. Mielnik, Petrii Net as a tool for modeling a microprocessor measurement-control system using in critical application, (Proceedings of the IMEKOTC7 Symposium, Measurement Science of the Information Era, Cracow 2002). [Google Scholar]
  5. R. Mielnik, Petri Net in the design of metering and control systems for discrete events in critical applications, (Collective work edited by A. St. Jagiełły - Electrical engineering in traction applications, Monograph no. 450, Cracow University of Technology 2014) [In Polish] [Google Scholar]
  6. R. Mielnik, Synthesis of controller for railway -level crossing devices using Petri Nets and state machine, (Technical Transactions, Electrical Engineering, Issue 1-E (2), Cracow University of Technology, 2016). [Google Scholar]
  7. R. Mielnik, Synthesis of control devices of ARS power suplly railway network usig Petri nets and LabView, (Proceedings the XVII Conference Electric Traction, Semtrak’2016, Zakopane 2016, Poland) [In Polish] [Google Scholar]
  8. National Instruments website, 2017 [Google Scholar]
  9. Technical guidelines for the construction of railway traffic control devices, Ie-4 (WTB-E10), (Polish Railway Lines, Warsaw, 2014) [In Polish] [Google Scholar]
  10. M. Kornaszewski, Backup power supply systems for railway traffic control devices, Journal “Logistyka”, Łódź, 2013) [In Polish] [Google Scholar]
  11. Album of power devices: Supply system for SZUS type control devices, (KZA Kraków, 1995) [In Polish] [Google Scholar]
  12. Technical guidelines for the construction of railway traffic control devices, Ie-4 (WTB-E10),, (Polish Railway Lines, Warsaw, 2014) [In Polish] [Google Scholar]
  13. David, R., and Alla, H.: “Discrete, Continuons, and Hybrid Petri Nets” (Springer, 2005) [Google Scholar]
  14. B. Hruz. and M.C. Zhou, Modeling and Control of Discrete-Event Dynamic Systems with Petri Nets and other tool, (Springer, 2007) [Google Scholar]
  15. P. H. Starke, J. Żurek, Petri Nets: basics, applications, theory,. PWN, Warsaw, 1987) [Google Scholar]
  16. T. Szmuc, M. Szpyrka, Formal methods in software engineering of real-time systems, WNT Warsaw 2010.) [In Polish] [Google Scholar]
  17. M. Szpyrka, Petri Nets in modeling and analysis of concurrent systems, WNT, Warsaw 2008) [In Polish] [Google Scholar]
  18. Z. Wróbel and R. Ziemba, Simulation of atmospheric surges in the systems of non-traction power lines supplying railway traffic control devices, (Technical Transactions, Electrical Engineering, Issue 1-E/2009, nr 15, Cracow University of Technology, 2009) [In Polish]. [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.