Visualization of the Bitcoin analysis including all the extracted Bitcoin addresses
-
Updated
Jul 5, 2023 - HTML
Visualization of the Bitcoin analysis including all the extracted Bitcoin addresses
dependently typed Statebox (heavy WIP)
build models using Petri-nets with an internal Domain Specific Language (DSL)
A tool to draw Petri Nets and analyze their static and dynamic behavior.
a little bit of help for my lecture about petrinets
A tool for modeling Petri Nets
Process mining techniques for analyzing business processes and make them more efficient
Category theoretic semantics of glued open Petri nets in Idris
Petri Net simulation and diagramming
Decay Replay Mining to Predict Next Process Events
Add a description, image, and links to the petrinets topic page so that developers can more easily learn about it.
To associate your repository with the petrinets topic, visit your repo's landing page and select "manage topics."