P
Petri Nets
Projects with this topic
-
Petri-Dish: A Survey-Tool for evaluating the simplicity of Petri-Nets
Marc Kimmel, Patrizia Schalk and Robert Lorenz ICPM 2024 Tool Demonstration Track, October 14–18, 2024, Kongens Lyngby, Denmark
Updated -
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