A unifying semantics for sequential function charts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3147, Issue , 2004, Pages 400-418

  Bauer, Nanette ^a   Huuck, Ralf ^b   Lukoschus, Ben ^c   Engell, Sebastian ^d  

^a BASF SE   (Germany)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

^c UNIVERSITY OF KIEL   (Germany)

^d TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; PROGRAMMABLE LOGIC CONTROLLERS; SEMANTICS;

CONTROLLED PROCESS; DEVICE CONTROLLER; HIGH-LEVEL PROGRAMMING; PROGRAMMABLE LOGIC CONTROLLERS (PLC); PROGRAMMING ENVIRONMENT; REASONING ABOUT PROGRAMS; SEMANTIC DESCRIPTIONS; SEQUENTIAL FUNCTION CHARTS;

PROCESS CONTROL;

EID: 33847187319     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27863-4_22     Document Type: Article

References (8)

1. Jiang, J., Holding, D.: The formalisation and analysis of sequential function charts using a petri net approach. In: Proceedings of 13th World Congress of IFAC. (1996) 513-518
2. Anderson, S., Tourlas, K.: Design for proof: An approach to the design of domain-specific languages. Formal Aspects of Computing 10 (1998) 452-468
3. Bornot, S., Huuck, R., Lakhnech, Y., Lukoschus, B.: An abstract model for sequential function charts. In: Discrete Event Systems: Analysis and Control, Proceedings of WODES 2000: 5th Workshop on Discrete Event Systems, Ghent, Belgium, August 21-23, 2000. The Kluwer International Series in Engineering and Computer Science (2000) 255-264
4. International Electrotechnical Commission, Technical Committee No. 65: Programmable Controllers - Programming Languages, IEC 61131-3. second edn. (1998) Committee draft.
5. International Electrotechnical Commission, Technical Committee No. 848: IEC 60848, Preparation of function charts for control systems. (1992)
6. David, R., Alla, H.: Petri Nets & Grafcet. Prentice Hall (1992)
7. Bauer, N., Treseler, H.: Vergleich der Semantik der Ablaufsprache nach IEC 61131-3 in unterschiedlichen Programmierwerkzeugen. GMA Kongress, 2001, Baden-Baden, Germany (2001)
8. Bauer, N.: Formale Analyse von Sequential Function Charts. PhD thesis, Lehrstuhl für Anlagensteuerungstechnik, Universität Dortmund (2004) Shaker Verlag, Aachen.