Title :
A Toolbox for the Development of Logic Controllers using Petri Nets
Author :
Frey, Georg ; Wagner, Florian
Author_Institution :
Dept. of Electr. & Comput. Eng., Kaiserslautern Univ.
Abstract :
This paper presents a toolbox for the development of control algorithms for programmable logic controllers based on Petri nets. The toolbox supports the complete development process including design, verification, validation, quality evaluation, simulation and PLC code generation
Keywords :
Petri nets; control engineering computing; program compilers; program verification; programmable controllers; PLC code generation; Petri nets; control algorithms development; development process; programmable logic controllers; Algorithm design and analysis; Formal verification; IEC standards; Logic; Petri nets; Process design; Programmable control; Programming profession; Proposals; Reachability analysis;
Conference_Titel :
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location :
Ann Arbor, MI
Print_ISBN :
1-4244-0053-8
DOI :
10.1109/WODES.2006.382522
