Deadlock-free IIoT Controlled Systems

AUTHOR(S):

TITLE

ABSTRACT

This paper deals with a new issue encountered in industry, e.g. the bottlenecks of industrial internet of things' (IIoT) automation devices, such as flexible manufacturing systems (FMS). We model such systems with Petri nets and we impose a restrictive policy in order to reject bottlenecks in the system. Deadlocks in automations driven through IIoT applications occur mainly when two or more devices try to access the same resource. In order to solve these issues we use Petri net models which ensure reversibility of the net, respectively to grant the recoverability property of the modelled system. We deal with reversibility of a net not necessary to find returning routes from bottlenecks, but also by finding alternative routes for avoiding deadlocks in the IIoT controlled system. We emphasize our approach with an example, and we propose a general policy for these systems in order to ensure their vivacity.

KEYWORDS

Industrial Internet of things, flexible manufacturing systems, Petri net, reversibility, vivacity

REFERENCES

[1]. Ciufudean, C., Filote, C., Safety discrete event models for Holonic cyclic manufacturing systems in Holonic and Multi-Agent Systems for Manufacturing, Springer Berlin Heidelberg. 2009, pp. 225-233.

[2]. Harrell, C., The Internet of Things and Control System Architecture, http://blog.aac. advantech.com/the-internet-of-things-and-control-system-architecture, 2014.

[3]. Dolin, R., Building an IoT for industrial control: Part 1 – What is Industrial IoT? ,http://www.embedded. com/design/real-world-applications/ 4426952/Building an IoT for industrial control. Part 1 What is Industrial IoT?, 2015.

[4]. Storey, H., Bullotta, R., Drolet, D., The industrial internet of things, http://www.controleng.com/industry-news/single-article/the-industrial-internet-of-things/, 2014.

[5]. Vermesan, O., Friess, P., (Eds.),. Internet of Things – From Research and Innovation to Market Deployment, River Publishers, Aalborg, Denmark, 2014.

[6].Minoura, C., Ding, A., deadlock prevention method for a sequence controller for manufacturing, Int. J. Robotics Automat., vol. 6, 1991, no. 3, pp.234-240.

[7].Buzacott, J., A., Shantikumar, J., G., Stochastic Models of Manufacturing System, Englewood Cliffs, NJ: Prentice Hall. 1993.

[8]. S.P.Sethi, .Zhon, “Hierarchical production controls in a stochastic two machine flow-shop with a finite interval buffer”, IEEE Trans. Robotics Automat., vol. 13, 1997, no. 1, pp.112-116.

[9]. Narahari, J., Viswandham, N., Transient Analysis of Manufacturing System Performance, IEEE Trans on Rob and Autom., vol. 10, 1994, no. 2.

[10]. Ciufudean, C., Satco, B., Algebraic formalism for modelling the deadlock in flexible manufacturing systems, Jurnal of Applied Mathematics, vol.1, no.3, 2008, pp. 157-165.

[11]. J.Ezpeleta, J.M.Colom, J.Martinez, “A Petri net baqsed deadlock prevention policy for FMS”, IEEE Trans. Robotics Automat., vol.11, no. 2, 1995, pp.232-240.

[12]. Dallery, J., Gershwin, S., B., Manufacturing flow line systems: A review of models and analytical results, Technical Report 91-002, 1992, Laboratory for Manufacturing and Productivity, MIT.

[13]. Martinelli, F., Shu, C., Perkins, J.R., On the Optimality of Myopic Productions Controls for Single-Server Continuous-Flow Manufacturing Systems, IEEE Trans. Autom. Contr., vol.46, no.8, 2001, pp.1269-1273.

[14]. Di Benedetto, M., D., Vintecentelli, A., S., Villa, T., Model Matching for Finite State Machines, IEEE Trans. Autom. Contr.,vol.46, no.11, 2001, pp.1726-1743.

[15]. K.Y.Xing, B.S.Hu, H.X.Chen, “Deadlock avoidance policy for PN modeling with shared resources”, IEEE Trans. Robotics Automat., vol. 41, no. 2, 1996, pp.302-308.

[16]. Ciufudean, C., Filote, C., Amarandei, D., Measuring the Performance of Distributed Systems with Discrete Event Formalisms, Proc. of The 2nd Seminar for Advanced Industrial Control Applications, SAICA, 2007, Madrid, Spain.

[17]. Ciufudean, C., Graur, A., Filote, C., Turcu, C., Popa, V., Diagnosis of complex systems using ant colony decision petri nets, Availability, Reliability and Security, ARES 2006, The First International Conference on, Vienna, Austria.

[18]. Ciufudean, C., Satco, B., Filote, C., Reliability Markov chains for security data transmitter analysis, Availability, Reliability and Security. ARES 2007. The Second International Conference on, pp. 886-894.

[19]. Ciufudean, C., Buzduga, C., "Chapter 7 Modelling the Diagnosis of Industry Internet of Things", Springer Nature, 2017.

[20]. Ciufudean, C., Larionescu, A.B., “Estimation of the Performances of the Discrete Event Systems”, Advances in Electrical and Computer Engineering, vol.3(10), no.2(20), 2003, pp.30-35, University of Suceava, Romania.

[21]. Ciufudean, C., Popescu, D., “Modelling Digital Signal Perturbations with Stochastic Petri Nets”, Advances in Electrical and Computer Engineering, vol.4(11), no.1(21), 2004, pp.71-75, University of Suceava, Romania.

Cite this paper

Calin Ciufudean, Corneliu Buzduga. (2018) Deadlock-free IIoT Controlled Systems. International Journal of Internet of Things and Web Services, 3, 55-60