P
Petri Nets
Projects with this topic
-
SkiNet is a formal verification tool of Skillset-based architectures. Created at ONERA - The French Aerospace Lab, France. Video: https://youtu.be/5bKO1IVlhJc
Updated -
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.
Updated -
Repositório do gerador de código VHDL para Redes de Petri na forma de Matriz de Incidência
Updated