Deadlock-free IIoT Controlled Systems

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.