C code generation from Petri net based logic controller specification

被引：2

作者：

Grobelny, Michal ^{[1
]}

Grobelna, Iwona ^{[2
]}

Karatkevich, Andrei ^{[2
]}

机构：

[1] Univ Zielona Gora, Dept Media & Informat Technol, Polskiego 69, Zielona Gora, Wojska, Poland

[2] Univ Zielona Gora, Inst Elect Engn, Podgorna 50, Zielona Gora, Poland

来源：

PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH ENERGY PHYSICS EXPERIMENTS 2017 | 2017年 / 10445卷

关键词：

implementation; logic controller; microcontroller; Petri net; C (programming language); programming concurrency; VERIFICATION;

D O I：

10.1117/12.2280959

中图分类号：

O43 [光学];

学科分类号：

070207 ; 0803 ;

摘要：

The article focuses on programming of logic controllers. It is important that a programming code of a logic controller is executed flawlessly according to the primary specification. In the presented approach we generate C code for an AVR microcontroller from a rule-based logical model of a control process derived from a control interpreted Petri net. The same logical model is also used for formal verification of the specification by means of the model checking technique. The proposed rule-based logical model and formal rules of transformation ensure that the obtained implementation is consistent with the already verified specification. The approach is validated by practical experiments.

引用

页数：6

共 50 条

[21] PETRI NET BASED MODELS - IN THE SPECIFICATION AND VERIFICATION OF PROTOCOLS
DIAZ, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 255 : 135 - 170
[22] Coloured Petri net model of application specific logic controller programs
Wegrzyn, M
Wolanski, P
Adamski, M
Monteiro, JL
[J]. ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, 1997, : SS158 - SS163
[23] Generating a Petri net from a CSP specification: A semantics-based method
Llorens, M.
Oliver, J.
Silva, J.
Tamarit, S.
[J]. ADVANCES IN ENGINEERING SOFTWARE, 2012, 50 : 110 - 130
[24] Algorithm to Convert Programmable Logic Controller Ladder Logic Diagram Models to Petri Net Models
Aspar, Z.
Shaikh-Husin, Nasir
Khalil-Hani, M.
[J]. 2015 IEEE STUDENT CONFERENCE ON RESEARCH AND DEVELOPMENT (SCORED), 2015, : 156 - 161
[25] Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131 part I:: Specification and design
Feldmann, K
Colombo, AW
Schnur, C
Stöckel, T
[J]. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 1999, 7 (06) : 657 - 665
[26] Code Generation from Specification based on Component Oriented Approach
Liu Xiaoli
Wu Guoqing
Min, Yang
Fan, Zhang
[J]. PROCEEDINGS OF THE 2007 1ST INTERNATIONAL SYMPOSIUM ON INFORMATION TECHNOLOGIES AND APPLICATIONS IN EDUCATION (ISITAE 2007), 2007, : 153 - +
[27] A Systematic Approach to the Petri Net Based Specification of Concurrent Systems
Antonino Mazzeo
Nicola Mazzocca
Stefano Russo
Valeria Vittorini
[J]. Real-Time Systems, 1997, 13 : 219 - 236
[28] Petri net based models for specification and analysis of cryptographic protocols
Lee, GS
Lee, JS
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1997, 37 (02) : 141 - 159
[29] Parikh Vector based Approach for Petri Net Controller
Tao Ze
Liu Xiaoxia
[J]. INFORMATION-AN INTERNATIONAL INTERDISCIPLINARY JOURNAL, 2012, 15 (11A): : 4703 - 4708
[30] Synthesis of Petri Net Controller Based on Constraints Matrix
Tao, Ze
Hao, Changzhong
[J]. ICNC 2008: FOURTH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 4, PROCEEDINGS, 2008, : 432 - 436

← 1 2 3 4 5 →