JavaScript / Typescript library of Petriflow objects
-
Updated
Sep 3, 2025 - TypeScript
JavaScript / Typescript library of Petriflow objects
MyPetri is a Petri Net Place and Transition diagramming tool to accurately capture behaviors of high level distributed systems. Bounded or unbounded.
Web app for developing process-driven application in low-code language Petriflow.
JSON-Nets editor is a highly adaptable process modelling tool that combines Petri Nets principles with the JSON data model and can be configured for different application domains.
A Petri-net simulator
pflow.xyz website is a state machine visualizer for Web3
OCPN Tools is a web application for designing Object-centric Colored Petri Nets. Try it out on https://rwth-pads.github.io/ocpn-tools/
CoRA2: Coverability and Reachability analyzer, now with .pnml support!
A tool for modeling Petri Nets
A vulnerability analysis tool for access control systems
This module is implementation part of my bachelors thesis.
Simple Petri Net simulator
Add a description, image, and links to the petri-nets topic page so that developers can more easily learn about it.
To associate your repository with the petri-nets topic, visit your repo's landing page and select "manage topics."