Synthesis of controller for railway – level crossing devices using Petri nets and state machine

• Authors: Ryszard Mielnik
• Languages of publication: PL

Abstracts

PL

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.

Keywords

PL

Petri nets, state machine, discrete-event systems, real-time systems

• Publisher: [unknown2]
• Journal: Czasopismo Techniczne
• Year: -

Dates

online

2016-10-18

Contributors

author

Ryszard Mielnik