Authors: Iñigo León Samaniego, Emilio Jiménez-Macías, Juan Ignacio Latorre-Biel
The aim of this work is to create a framework of definitions and notations to hide part of a Petri net, facing a possible delivery, maintaining the privacy of the critical, secret, or complex parts of the system. From these definitions and notations we work with the incidence matrices and we analyze the implications of hiding. In this work only the structure of the network is processed. The study of markings and properties of networks with hidden pieces will we analyzed in further works.