Abstract
This paper introduces Petri net based models of robotic tasks, which can be used to analyse and synthesise task plans, taking into account a Petri net model that abstracts the relevant features from the robot environment as well. Logical analysis concerning deadlocks and resource conservation can be performed over the ordinary version of the model. A task plan modeled by a Petri net can be extracted from the generalised stochastic version of the model, representing the optimal plan given a probabilistic measure of uncertainty associated to the effects of its composing actions. The Petri net representing the model is suitable for being ran directly within the code, as well as for plan monitoring during execution time. Simulation results illustrating the methodology are presented for a robotic soccer scenario.

Abstract
In this paper we introduce a framework to represent robot task plans based on Petri nets. Our approach enables modelling a robot task, analysing its qualitative and quantitative properties and using the Petri net representation for actual plan execution. The overall model is obtained from the composition of simple models, leading to a modular approach. Analysis is applied to a closed loop between the robot controller and the environment Petri net models. We focus here on the quantitative properties, captured by stochastic Petri net models. Furthermore, we introduce a method to identify the environment and action layer parameters of the stochastic Petri net models from real data, improving the significance of the model. The framework building blocks and a single-robot task model are detailed. Results of a case study with simulated soccer robots show the ability of the framework to provide a systematic modelling tool, and of determining, through well-known analysis methods for stochastic Petri nets, relevant properties of the task plan applied to a particular environment.

Abstract

Abstract
This paper examines the idea of Industry 4.0 from the perspective of the molds industry, a vital industry in today's industrial panorama. Several technologies, particularly in the area of machining equipment, have been introduced as a result of the industry's constant modernization. This technological diversity makes automatic interconnection with production management software extremely difficult, as each brand and model requires different, mostly proprietary, interfaces and communication protocols. In the methodology presented in this paper, a development of monitoring solutions for machining devices is defined supporting the leading equipment and operations used by molds industry companies. OPC UA is employed for high-level communication between the various systems for a standardized approach. The approach combines various machine interfaces on a single system to cover a significant subset of machining equipment currently used by the molds industry, as a key result of this paper and given the variety of monitoring systems and communication protocols. This type of all-in-one approach will provide production managers with the information they need to monitor and improve the complete manufacturing process.