En español
Este trabajo propone generalizar la ecuación de estado de las redes de Petri, para representar redes de Petri no autónomas con distintos tipos de brazos y semánticas temporales. Esta ecuación generalizada facilita la implementación por hardware de un IP-Core para la ejecución de la red. La solución expresada por esta ecuación de estado da origen a un algoritmo que preserva el modelo original, facilita su ejecución en paralelo y permite abordar problemas de mayor tamaño y complejidad. Además, se aborda un caso donde se pone de manifiesto las ventajas de incluir eventos, distintos tipos de brazos y semánticas temporales.
En inglés
This work proposes to generalize the state equation of a Petri Net, with the objective of represent different types of arcs and time semantics in non-autonomous Petri nets. This generalized equation facilitates the hardware implementation of an IP-Core to execute the network.
The solution that these extended state equation express raises an algorithm that preserves the original model, facilitates parallel execution and allows addressing problems bigger in size and complexity. In addition, exposes a case of application where highlights the advantages of including events, different types of arcs and timed semantics.