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

• Autorzy: Ryszard Mielnik
• Języki publikacji: PL

Abstrakty

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.

Słowa kluczowe

PL

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

• Wydawca: [unknown2]
• Czasopismo: Czasopismo Techniczne
• Rocznik: -

Daty

online

2016-10-18

Twórcy

autor

Ryszard Mielnik