Petri net models of discrete logics used in control algorithms developed in ladder diagram language

Control algorithms for programmable logic controllers are still developed based on the experience of those responsible for control in the industry. The IEC-61131-3 standard considers five programming languages: Ladder Diagram, Structured Text, Function Block Diagram, Instruction List, and Sequential...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:International journal of advanced manufacturing technology Ročník 124; číslo 7-8; s. 2597 - 2612
Hlavní autoři: Quezada, José Carlos, Flores, Ernesto, Baños, Esperanza, Quezada, Víctor
Médium: Journal Article
Jazyk:angličtina
Vydáno: London Springer London 01.02.2023
Springer Nature B.V
Témata:
Algorithms
Block diagrams
CAE) and Design
Computer-Aided Engineering (CAD
Control algorithms
Discrete event systems
Engineering
Industrial and Production Engineering
Ladder diagrams
Mechanical Engineering
Media Management
Original Article
Petri nets
Programmable logic controllers
Programming languages
Timing devices
Petri nets
Programmable logic controller
Control algorithms
Ladder diagram language
Function block diagram language
Structured text language
Discrete event system
ISSN:0268-3768, 1433-3015
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Control algorithms for programmable logic controllers are still developed based on the experience of those responsible for control in the industry. The IEC-61131-3 standard considers five programming languages: Ladder Diagram, Structured Text, Function Block Diagram, Instruction List, and Sequential Function Diagram, which use different function blocks to develop control algorithms. Within the control algorithms for discrete event systems, there are two types of blocks: those with discrete inputs and outputs, and those with discrete and analog inputs and discrete output. Of the latter, the present research shows the analysis and formal model of the blocks including the problems of accumulation of tokens and the restoration of the coils. This proposal includes logical blocks of timers, counters, positive and negative transition detectors and bistable elements, which, together with the AND, OR, AND-OR, contact lock, auto-loop and Set-Reset logics, can be modeled and analyzed control algorithms with a greater degree of complexity. This guarantees the safety of workers as well as machines.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0268-3768
1433-3015
DOI:10.1007/s00170-022-10515-6