@article{79a05874-a1b9-4734-be08-d910943778e3,
author = {Ryszard Mielnik},
title = {Synthesis of controller for railway – level crossing devices using Petri nets
	and state machine},
journal = {Czasopismo Techniczne},
volume = {2016},
number = {Elektrotechnika Zeszyt 1-E (2) 2016},
year = {2016},
issn = {0011-4561},
pages = {101-112},keywords = {Petri nets; state machine; discrete-event systems; real-time systems},
abstract = {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.},
doi = {10.4467/2353737XCT.16.032.5294},
url = {https://ejournals.eu/czasopismo/czasopismo-techniczne/artykul/synthesis-of-controller-for-railway-level-crossing-devices-using-petri-nets-and-state-machine}
}