colored-petri-nets

Here are 5 public repositories matching this topic...

[C++ lib, Application][v0.7.0][Functional] A complete Petri net editor and simulator and C++ runtime library

julia petri petri-net petri-nets sequential timed grafcet maxplus max-plus timed-petri-nets colored-petri-nets graph-event sequential-function-chart

High-Level Nets Blaster for the Model-Checking Contest

OCPN Studio is a web application for designing Object-centric Colored Petri Nets. Try it out on https://elte-dsed.github.io/ocpn-studio/

simulation petri-nets process-mining cpn ocel colored-petri-nets object-centric ocpn

Editor for the CLApp language giving the possibility of creating flow chart projects and export them to run them in a standalone mode.

WebApp for the visualization of green routes by bike in the city of Albacete

To associate your repository with the colored-petri-nets topic, visit your repo's landing page and select "manage topics."