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

Typ: Artykuł

Liczba pobrań: 1099

Pobierz zasób

PDF

Cytuj

BibTeX EndNote

Tytuł: Synthesis of controller for railway – level crossing devices using Petri nets and state machine
Wariant tytułu: Synteza kontrolera urządzeń przejazdowych z wykorzystaniem sieci Petriego i maszyny stanów
Autor: Mielnik, Ryszard
Opublikowane w: Technical Transactions
Numeracja: Y. 113, iss. 1-E
Strony: 101-112
Data wydania: 2016
Miejsce wydania: Kraków
Wydawca: Wydawnictwo PK
Język: angielski
DOI: 10.4467/2353737XCT.16.032.5294
Słowa kluczowe: Petri nets, state machine, discrete-event systems, real-time systems

sieci Petriego, maszyna stanów, dyskretne systemy zdarzeń, systemy czasu rzeczywistego
Abstrakt: 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.

Projektowanie cyfrowych systemów pomiarowo-sterujących stosowanych w takich obszarach jak: energetyka jądrowa, przemysł chemiczny, transport powietrzny i kolejowy oraz zastosowania militarne wymaga specjalnego podejścia do filozofii projektowania, produkcji i eksploatacji tego typu. Systemy te wymagają zapewnienia odpowiedniego poziomu niezawodności i bezpieczeństwa. Na przykładzie sterownika samoczynnej sygnalizacji przejazdowej przedstawiono jego syntezę z wykorzystaniem sieci Petriego – do modelowania funkcji kontrolera, oraz maszyny stanów – do wykonania oprogramowania.
Klasyfikacja PKT: 430000 Elektrotechnika
Wydział: Wydział Inżynierii Elektrycznej i Komputerowej
Licencja: Licencja PK
Prawa dostępu: Zasób dostępny dla wszystkich