Next-generation end-to-end low code language based on Petri nets.
-
Updated
Sep 5, 2026
#
workflow-models
Here are 2 public repositories matching this topic...
A logic-based library for correct-by-construction process modelling and composition.
theorem-proving type-theory workflows workflow-management business-process-management correct-by-construction resource-modeling workflow-models proofs-as-processes
-
Updated
Dec 27, 2023 - OCaml
Add this topic to your repo
To associate your repository with the workflow-models topic, visit your repo's landing page and select "manage topics."