Authors: Juan Ignacio Latorre-Biel, Emilio Jiménez-Macías
From ancient times, it has been a dream of human beings the automation of the hardest works to prevent humans from the inconveniences of these tasks. Not only dangerous, remote and repetitive tasks but also mechanical operations that require high precision, speed or repeatability have been automated. The industrialized modern society requires an efficient and sustainable use of the available resources for producing goods and services for the consumers. For achieving this objective, the manufacturing facilities and equipment, chain supplies and products themselves should be designed for verifying certain specifications. In this paper, the design process of a product, such as a production plant, chain supply or a good produced for the final customers is addressed under the light of the modeling paradigm of Petri nets in order to automatize some of the stages of this operation.