Interpretation Petri net model to IEC 1131-3: LD for programmable logic controller

Suesut, T.; Inban, P.; Nilas, P.; Rerngreun, P.; Gulphanich, S.

doi:10.1109/ramech.2004.1438074

Cited by 3 publications

(4 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As for this kind of PLC, SFC may be indirectly implemented by using some methodologies that translate an SFC or a Petri net representation into a few LD lines (Uzam, Jones, and Ajlouni 1996;Jimenez, Lopes, and Ramirez 2001;Thapa, Dangol, and Wang 2005;Suesut et al 2004;Silveira and Santos 2005). However, some PLC models do not provide SFC as a machine programing language.…”

Section: Industrial Automation Programing Languagesmentioning

confidence: 99%

PlanPAS: PLC and automated planning integration

Fonseca

Sousa

Ferreira

et al. 2015

International Journal of Computer Integrated Manufacturing

View full text Add to dashboard Cite

The application of intelligent systems in industrial environments is still restricted, although autonomous systems based on artificial intelligence (AI) techniques have been under development for over 50 years and spreading into several areas since the last decade. Such integration goes against cultural and technical factors found on the shop floor and its project is often challenging. Classical industrial systems make use of programmable logic controllers (PLCs), which centralise control by using a simple and low-level language. Automated planning solutions use a formal language called planning domain definition language (PDDL) to address specific problems, with predefined initial and target scenarios. Such feature seems to be interesting in some cases, since the generic domain models cannot predict all possible scenarios in a domain. Therefore, the applicability of intelligent systems in industrial cases is directly linked to the development of applications that allow integrating different languages, thus ensuring the access to PLCs and analysing specific situations. The current paper presents an application that integrates automated planning solution and PLCs as well as analyses such integrations' functionality. Preliminary results are shown by using object process control (OPC) and TCP/IP client/server approaches. A comparison with classical approaches was presented for a specific case study.

show abstract

Section: Industrial Automation Programing Languagesmentioning

confidence: 99%

PlanPAS: PLC and automated planning integration

Fonseca

Sousa

Ferreira

et al. 2015

International Journal of Computer Integrated Manufacturing

View full text Add to dashboard Cite

show abstract

“…The programming language of PLC named LD was created to provide an easy assimilation language for professionals familiar with the electric circuits diagrams based on electromagnetic relays (Suesut et al, 2004). Rules for the construction and execution of a control program in LD language can be found in (Chmiel et al, 2002).…”

Section: Ld Languagementioning

confidence: 99%

“…According to (Uzam;Jones, 1998), when programmers develop a control program written in LD, they generally use heuristic programming methods, which are susceptible to errors. In general, these errors are hard to be identified because they are associated with the difficulty in analyzing the parallelisms, concurrences and sequences in control programs written in LD (Suesut et al, 2004). Then, several approaches have been conducted so as to eliminate these errors.…”

Section: Introductionmentioning

confidence: 99%

Modeling of Programs and its Verification for Programmable Logic Controllers

Sarmento

Silva

2008

IFAC Proceedings Volumes

View full text Add to dashboard Cite

“…Frey [14] also presented the one-to-one mapping between PLC codes (instruction lists (ILs) or LDs) and signal interpreted PN (SIPN) structures. Suesut, Inban, Nilas and Rerngreun [15] offered the transformation from PNs to LDs by the Boolean algebra, and removed the faults in LD programs by analyzing deadlocks and conflicts in PNs. Perme [16] carried out a direct translation from time PNs with inhibitor arcs to LDs.…”

Section: Introductionmentioning

confidence: 99%

Method for translating ladder diagrams to ordinary Petri nets

Chen

Luo

Pan

2012

2012 IEEE 51st IEEE Conference on Decision and Control (CDC)

View full text Add to dashboard Cite

Programmable logic controllers (PLCs) have been widely used in safe-critical systems, such as railway, nuclear power stations and petrochemical plants. Hence, the reliability and correctness of PLC programs are so important that formal methods are required to guarantee them. An algorithm is proposed to translate a Ladder Diagram (LD) to an ordinary Petri net (PN) system. Consequently, the PN theory can be used to simulate and analyze LD programs to verify whether PLC systems are live, reversible, and free of race and deadlocks.

show abstract

Interpretation Petri net model to IEC 1131-3: LD for programmable logic controller

Cited by 3 publications

References 0 publications

PlanPAS: PLC and automated planning integration

PlanPAS: PLC and automated planning integration

Modeling of Programs and its Verification for Programmable Logic Controllers

Method for translating ladder diagrams to ordinary Petri nets

Contact Info

Product

Resources

About