Mobile robots, such as Automated Guided Vehicles (AGVs), are increasingly employed in automated manufacturing systems or automated warehouses. They are used for many kinds of applications, such as goods and material handling. These robots may also share industrial areas and routes with humans. Other industrial equipment (i.e., forklifts) could also obstruct the outlined routes. With this in mind, in this article, a coloured Petri net-based traffic controller is proposed for collision-free AGV navigation, in which other elements moving throughout the industrial area, such as humans, are also taken into account for the trajectory planning and obstacle avoidance. For the optimal path and collision-free trajectory planning and traffic control, the D* Lite algorithm was used. Moreover, a case study and an experimental validation of the suggested solution in an industrial shop floor are presented.
Industrial discrete event dynamic systems (DEDSs) are commonly modeled by means of Petri nets (PNs). PNs have the capability to model behaviors such as concurrency, synchronization, and resource sharing, compared to a step transition function chart or GRAphe Fonctionnel de Commande Etape Transition (GRAFCET) which is a particular case of a PN. However, there is not an effective systematic way to implement a PN in a programmable logic controller (PLC), and so the implementation of such a controller outside a PLC in some external software that will communicate with the PLC is very common. There have been some attempts to implement PNs within a PLC, but they are dependent on how the logic of places and transitions is programmed for each application. This work proposes a novel application-independent and platform-independent PN implementation methodology. This methodology is a systematic way to implement a PN controller within industrial PLCs. A great portion of the code will be validated automatically prior to PLC implementation. Net structure and marking evolution will be checked on the basis of PN model structural analysis, and only net interpretation will be manually coded and error-prone. Thus, this methodology represents a systematic and semi-compiled PN implementation method. A use case supported by a digital twin (DT) is shown where the automated solution required by a manufacturing system is carried out and executed in two different devices for portability testing, and the scan cycle periods are compared for both approaches.
Manufacturing companies are facing new market demands, mostly driven by global competition and digitalization. In this context, more efficient, flexible, adaptable and evolvable mechatronic and manufacturing systems are required, which enable quick adjustments to the production in order to address (all these) market changes. However, production idle times due to such re-configurations and adaptations might be costly. In this paper, a live updates concept for Programmable Logic Controllers (PLCs) is presented. The proposed design employs a Petri net runtime engine, in which the executed functional program (the Petri net model with its interpretation) is updated while running, without system shutdown and restart being needed. To this end, a quarantine-mode execution and monitoring approach is used for the new PLC program functional validation. A reconfigurable Vernadat machine case study is also presented.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.