#
workflow-models
Here are 2 public repositories matching this topic...
Next-generation end-to-end low code language based on Petri nets.
- Updated
Oct 1, 2025
A logic-based library for correct-by-construction process modelling and composition.
theorem-provingtype-theoryworkflowsworkflow-managementbusiness-process-managementcorrect-by-constructionresource-modelingworkflow-modelsproofs-as-processes
- Updated
Dec 27, 2023 - OCaml
Improve this page
Add a description, image, and links to theworkflow-models topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with theworkflow-models topic, visit your repo's landing page and select "manage topics."