PLC programming with signal interpreted petri nets

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

Volumn 2679, Issue , 2003, Pages 440-449

  Klein, Stéphane ^a,b   Frey, Georg ^a   Minas, Mark ^c  

^a Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

^b Ecole Normale Superieure de Cachan   (France)

^c BUNDESWEHR UNIVERSITY MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); MODEL CHECKING; PROGRAMMABLE LOGIC CONTROLLERS;

DIAGRAM EDITORS; DIAGRAM LANGUAGES; GRAPHICAL EDITORS; INPUT AND OUTPUTS; INSTRUCTION LISTS; PLC PROGRAMMING; PROGRAMMABLE LOGIC CONTROLLERS (PLC); SIGNAL INTERPRETED PETRI NETS;

PETRI NETS;

EID: 33846129624     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44919-1_27     Document Type: Article

References (13)

1. Frey, G.: Design and formal Analysis of Petri Net based Logic Control Algorithms - Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen. (ISBN 3-8322-0043-6), Dissertation, University of Kaiserslautern, Shaker Verlag, Aachen, April 2002.
2. Frey, G.: SIPN, Hierarchical SIPN, and Extensions. In: Reports of the Institute of Automatic Control 119/2001, University of Kaiserslautern, Dec. 2001. Available at http://www.eit.uni-kl.de/litz/ENGLISH/members/frey/papers.htm
3. Minas, M.: Diagram editing with hypergraph parser support. In: Proceedings of 1997 Symposium on Visual Languages (VL'97), pages 230-237, 1997.
4. Minas, M.: Creating semantic representations of diagrams. In: M. Nagl and A. Schürr, (eds.), Int. Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), Selected Papers, LNCS 1779, pages 209-224. Springer, Mar. 2000.
5. Minas, M.: Concepts and realization of a diagram editor generator based on hypergraph transformation. In: Science of Computer Programming, 44(2): 157-180, 2002.
6. IEC: International Standard 61131-3, 2nd Ed., Programmable Controllers - Programming Languages, 1999.
7. Boehm, B. W.: Guidelines for Verifying and Validating Software Requirements and Design Specifications. In: P.A. Samet (ed), Proceedings of the EURO IFIP 79, NorthHolland Publishing Company, 1979.
8. Bérard, B., Bidiot, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, Ph.: Systems and Software Verification, Model-Checking Techniques and Tools. Springer, Berlin, New-York, 2001.
9. McMillan, K. L.: The SMV language. Cadence Berkeley Labs, Berkeley, Californy (USA), Mar. 23, 1999. www-cad.eecs.berkeley.edu/kenmc-mil
10. Canet, G., Couffin, S., Lesage, J.-J., Petit, A., Schnoebelen, P.: Towards the automatic verification of PLC programs written in Instruction List. In: Proceedings of the IEEE Conference on Systems Man and Cybernetics SMC 2000, pp. 2449-2454, Nashville, Tennessee (USA), Oct. 8-11, 2000.
11. John, K.-H., Tiegelkamp, M.: IEC 61131-3: Programming Industrial Automation Systems. Springer, Beriln, New-York, 2001.
12. Stanton, M. J., Arnold, W. F., Buck, A. A.: Modelling and control of manufacturing systems using Petri nets. In: Proceedings of the 13th IFAC World Congress, pp. 329-334, 1996.
13. Venkatesh, K., Zhou, M., Caudill, R. J.: Discrete event control design for manufacturing systems via ladder logic diagrams and Petri nets: A comparative study. In M. Zhou, editor, Petri Nets in Flexible and Agile Automation, pp. 265-304. Kluwer Academic Publish., 1995.