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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
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
Minas, M.: Diagram editing with hypergraph parser support. In: Proceedings of 1997 Symposium on Visual Languages (VL’97), pages 230–237, 1997.
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.
Minas, M.: Concepts and realization of a diagram editor generator based on hypergraph transformation. In: Science of Computer Programming, 44(2):157–180, 2002.
IEC: International Standard 61131-3, 2nd Ed., Programmable Controllers — Programming Languages, 1999.
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.
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.
McMillan, K. L.: The SMV language. Cadence Berkeley Labs, Berkeley, Californy (USA), Mar. 23, 1999. www-cad.eecs.berkeley.edu/kenmc-mil
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.
John, K.-H., Tiegelkamp, M.: IEC 61131-3: Programming Industrial Automation Systems. Springer, Beriln, New-York, 2001.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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