Modeling of the PLC Behavior in Intralogistics with Non-Autonomous Hybrid Petri-Nets

Abstract:

This document introduces a new kind of non-autonomous petri net for modelling decentralized systems in intralogistics controlled by PLCs. It extends the Signal Interpreted Petri Net with hybrid elements for continuous and discrete aspects to control external input-/output-events, places and transitions. It enables the modelling of continuous changes on the output places, e.g. linear acceleration of motors. After the formal model-definition, an example of one conveyor and the corresponding control-logic is given.

• Periodical: Applied Mechanics and Materials (Volume 666)
• Pages: 349-353
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.666.349
• Online since: October 2014
• Authors: Lukas Kopecki*, Sebastian Lauck
• Keywords: Control System Modeling, Industrial Automation, Manufacturing Process and Automation, Process Control

References

[1] H. Kagermann, W. Wahlster, J. Helbig, et. al. in: Umsetzungsempfehlungen für das Zukunftsprojekt Industrie 4. 0, Federal Ministry of Education and Research (Germany), April (2013).

[2] D. Arnold in: Intralogistik – Potentiale, Perspektiven, Prognose, Springer-Verlag Berlin Heidelberg (2006).

[3] L. Nagel, M. Roidl, G. Follert, The Internet of Things: On Standardization in the Domain of Intralogistics, Adjunct Proceedings First International conference on The Internet of Things, (2008).

[4] International Electrotechnical Commission, IEC 61131-3 Ed. 2. 0 en: (2003).

[5] International Electrotechnical Commission, IEC 61499 Ed. 1. 0 en: (2005).

[6] G. Frey, L. Litz in: Formal methods in PLC programming, volume 4 of IEEE International Conference on Systems, Man, and Cybernetics (2000).

DOI: 10.1109/icsmc.2000.884356

[7] K. H. Bennet, V. T. Rajlich in: Software Maintenance and Evolution: a Roadmap, ACM (2000).

[8] I. Grobelna, M. Adamski in: Model Checking of Control Interpreted Petri Nets, 18th International Conference Mixed Design of Integrated Circuits and Systems, (June 2011).

[9] W. A. Guenthner, P. Tenerowicz, S. Galka in: Roadmap fuer eine nachhaltige Intralogistik, Tagungsband zur 14. Wissenschaftlichen Fachtagung Sustainable Logistics, (2009).

[10] R. David, H. Alla in: Discrete, Continuous and Hybrid Petri Nets Springer-Verlag Berlin Heidelberg, (2005).

[11] M. Adamski, J. L. Monteiro in: From Interpreted Petri Net Specification to Reprogrammable Logic Controller Design, ISIE 2000, Proceedings of the 2000 IEEE International Symposium on Industrial Electronics, (2000).

DOI: 10.1109/isie.2000.930478

[12] S. Klein, G. Frey, M. Minas in: PLC Programming with Signal Interpreted Petri Nets, 24th International Conference on Application and Theory of Petri Nets, (2003).

DOI: 10.1007/3-540-44919-1_27

[13] R. David, Grafcet in: A Powerful Tool for Specification of Logic Controllers, IEEE Transactions on Control Systems Technology, Vol. 3, No. 3, (1995).

DOI: 10.1109/87.406973

[14] International Electrotechnical Commission, Technical Committee No. 65: Programmable Controllers – Programming Languages, IEC 61131-3. Second edn. (1998).

[15] F. Moutinho, L. Gomes in: State Space Generation for Petri nets-based GALS Systems, IEEE International Conference on Industrial Technology, (2012).

DOI: 10.1109/icit.2012.6210007

[16] N. Saadallah, H. Melin, B. Daireaux in: A Simple Machine in A Complex Environment: A Petri Net Approach, INES 2011, 15th International Conference on Intelligent Engineering Systems, (2011).

DOI: 10.1109/ines.2011.5954778

[17] R. David, H. Alla in: On Hybrid Petri Nets, Discrete Event Dynamic Systems, Volume 11, Issue 1-2, pp.9-40, (2001).