Skip to main content
SpringerLink
Log in
Book cover

International Conference on Application and Theory of Petri Nets

ICATPN 2003: Applications and Theory of Petri Nets 2003 pp 440–449Cite as

PLC Programming with Signal Interpreted Petri Nets

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2679))

Abstract

In this paper a graphical editor to design Programmable Logic Controller (PLC) programs using Signal Interpreted Petri Nets (SIPN) is presented. SIPN are an extension of condition event Petri nets that allow the handling of input and output signals. The presented tool, SIPN Editor, has been developed using DiaGen which is an environment for rapidly developing diagram editors from a formal specification of the diagram language. The SIPN Editor supports the translation of SIPN into input code for the model checker SMV. Using SMV, the SIPN can be verified before it is automatically translated into Instruction List code according to the IEC 61131-3 standard. This code can be downloaded on nearly every PLC.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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.

    Google Scholar 

  2. Frey, G.: SIPN, Hierarchical SIPN, and Extensions. In: Reports of the Institute of Automatic Control I19/2001, University of Kaiserslautern, Dec. 2001. Available at http://www.eit.uni-kl.de/litz/ENGLISH/members/frey/papers.htm

    Google Scholar 

  3. Minas, M.: Diagram editing with hypergraph parser support. In: Proceedings of 1997 Symposium on Visual Languages (VL’97), pages 230–237, 1997.

    Google Scholar 

  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.

    Chapter  Google Scholar 

  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.

    Article  MATH  Google Scholar 

  6. IEC: International Standard 61131-3, 2nd Ed., Programmable Controllers — Programming Languages, 1999.

    Google Scholar 

  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, North-Holland Publishing Company, 1979.

    Google Scholar 

  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.

    MATH  Google Scholar 

  9. McMillan, K. L.: The SMV language. Cadence Berkeley Labs, Berkeley, Californy (USA), Mar. 23, 1999. www-cad.eecs.berkeley.edu/kenmc-mil

    Google Scholar 

  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.

    Google Scholar 

  11. John, K.-H., Tiegelkamp, M.: IEC 61131-3: Programming Industrial Automation Systems. Springer, Beriln, New-York, 2001.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Automatic Control, University of Kaiserslautern, PO Box 3049, 67653, Kaiserslautern, Germany

    Stéphane Klein & Georg Frey

  2. Univ. lab. of research in Automated Production (LURPA), ENS Cachan, 61 av. du Pdt Wilson, 94235, CachanCedex, France

    Stéphane Klein

  3. Institute for Software Technology, Department of Computer Science, Univ. of the Federal Armed Forces, Munich, Neubiberg, 85577, Germany

    Mark Minas

Authors
  1. Stéphane Klein
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Georg Frey
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mark Minas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Technology and Management, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Wil M. P. van der Aalst

  2. Computer Science Department Parallel Systems Group, University of Oldenburg, 26111, Oldenburg, Germany

    Eike Best

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Klein, S., Frey, G., Minas, M. (2003). PLC Programming with Signal Interpreted Petri Nets. In: van der Aalst, W.M.P., Best, E. (eds) Applications and Theory of Petri Nets 2003. ICATPN 2003. Lecture Notes in Computer Science, vol 2679. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44919-1_27

Download citation

  • DOI: https://doi.org/10.1007/3-540-44919-1_27

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40334-0

  • Online ISBN: 978-3-540-44919-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation