P

Petri Nets

SkiNet is a formal verification tool of Skillset-based architectures. Created at ONERA - The French Aerospace Lab, France. Video: https://youtu.be/5bKO1IVlhJc

A Petri-net simulator: https://mish-mosh.gitlab.io/petri-net-simulator/

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

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