Petri Nets

pontoSim is a framework for the development of 3D point cloud processing algorithms using Colored Petri Net models. The framework uses CPNTools for modeling and has a server for the backend processing of point clouds developed with the Pontu library.

Repositório do gerador de código VHDL para Redes de Petri na forma de Matriz de Incidência