Cooperação de sistemas a eventos discretos em rede com análise de bloqueio

Abstract

The challenges faced by the industry require more and more flexibility and autonomy from the involved systems. In this context, we have cyber-physical systems that are characterized by the combination of digital systems, communication networks and physical systems. One of the challenges of cyber-physical systems is the cooperation of independent systems, where many systems that have already had some autonomy work together. In this work, we address the problem of cooperation of networked discrete event systems, where a group of network connected independent systems work together sharing resources. Initially, we will consider that each module works alone, executing its respective local specifications. Our goal is to build a networked cooperating system where the modules can execute a global task together while also executing their local tasks. To solve this problem, we present two algorithms to implement the cooperation of networked discrete event systems modeled by Petri nets, using common places. After that, we make an analysis of deadlocks on the resulting cooperating networked system. Finally, we present a case study in a cube assembling mechatronic plant