The persistence of the Petri Net state-space

In this paper, we propose a system that implements the persistence of a Petri net state-space. The condition of such a system, modelled using a Petri net, can be monitored dynamically by comparison with the net´s state-space. High reliability is obtained when the net is used for surveillance. For this reason, it is necessary to determine the persistence of the condition. Therefore, in this research, we designed a system for the purpose of ensuring the persistence of the state-space by using a database system.