TY - JOUR
TI - Synthesis of controller for railway – level crossing devices using Petri nets
	and state machine
AU - Mielnik, Ryszard
TI - Synthesis of controller for railway – level crossing devices using Petri nets
	and state machine
AB - 
	The design of modern digital measurement-control systems applied in such fields as nuclear and power, chemical, air and rail transport as well as military requires a special approach to the philosophy of design, manufacture and the use of such systems. Therefore, attention should be focused on safeguarding the required level of reliability and safety of working conditions of such systems. On an example of a controller for an automatic railway crossing devices is presented synthesis of this controller. In this fact were used Petri nets – to modeling this controller and state machine – to make programming application.
VL - 2016
IS - Electronical Engineering Issue 1-E (2) 2016
PY - 2016
SN - 0011-4561
C1 - 2353-737X
SP - 101
EP - 112
DO - 10.4467/2353737XCT.16.032.5294
UR - https://ejournals.eu/en/journal/czasopismo-techniczne/article/synthesis-of-controller-for-railway-level-crossing-devices-using-petri-nets-and-state-machine
KW - Petri nets
KW - state machine
KW - discrete-event systems
KW - real-time systems