Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131 part II: Design and implementation

IEEE Transactions on Control Systems Technology

Volumn 7, Issue 6, 1999, Pages 666-674

  Feldmann, K ^b   Colombo, A W ^a,b   Schnur, C ^b   Stockel T ^b  

^a IEEE

^b UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

Colored Petri nets; IEC 1131; Logic controllers; Programmable logic controllers (PLC's)

Indexed keywords

CONTROL SYSTEM ANALYSIS; LOGIC DESIGN; MATHEMATICAL MODELS; PETRI NETS; SPECIFICATIONS;

COLORED PETRI NETS;

PROGRAMMABLE LOGIC CONTROLLERS;

EID: 0033221578     PISSN: 10636536     EISSN: None     Source Type: Journal    
DOI: 10.1109/87.799667     Document Type: Article

References (11)

1. W. Brendel and M. Tiegelkamp, "Uniform PLC programming in accordance with IEC 1131-3," 1994. Available: http://www.iaehv.nl/ users/jvbekkum/info_toc.html
2. A. W. Colombo, J. Martínez, and R. Carelli, "Formal validation of complex production systems using colored Petri nets," Proc. IEEE Int. Conf. Robot. Automat., San Diego, CA, May 8-13, 1994.
3. A. W. Colombo and R. Carelli, "Petri nets for designing manufacturing systems," in Management and Control of Manufacturing Systems, S. Tzafestas, Ed. New York: Springer-Verlag, 1996, ch. 11.
4. R. David and H. Alia, Petri nets & Grafcet - Tools for modeling discrete event systems. Englewood Cliffs, NJ: Prentice-Hall, 1992.
5. K. Feldmann, C. Schnur, and A. W. Colombo, "Modularization and distributed real-time control of flexible production cells using Petri nets," IFAC J. Contr. Eng. Practice, vol. 4, no. 8, pp. 1067-1078, 1996.
6. L. Ferrarini, "An incremental approach to logic controller design with Petn nets," IEEE Trans. Syst., Man, Cybern., vol. 22, pp. 461-473, May/June 1992.
7. Int. Electrotechnic Commission (IEC), "IEC 1131 - Programmable controllers (Parts 1 to 5)," 1995.
8. J. Jackman, R. Linn, and D. Hyde, "Petri net modeling of relay ladder logic," J. Design Manufacturing, vol. 5, pp. 143-151, Chapman & Hall, 1995.
9. K.-H. John and M. Tiegelkamp, SPS-programmierung mit IEC 1131-3. Berlin, Germany: Springer-Verlag, 1995.
10. M. Silva and R. Valette, "Petri nets and flexible manufacturing," in Advances in Petri Nets, Lecture Notes in Computer Sciences, vol. 424. New York: Springer-Verlag, 1989, pp. 374-417.
11. G. Süss, "Sprachnorm bringt Steuerung in Schwung-Einbindung der internationalen Norm IEC 1131-3 in eine SPS" Automatisieren/Steuerungen, Elektronik, no. 8., pp. 44-48, 1993.