GitHub topics: petrinets
Joseph-Vanliew/PATS
MyPetri is a Petri-Net Place and Transition diagramming tool to accurately capture behaviors of high level distributed systems. Bounded or unbounded.
Language: TypeScript - Size: 33.3 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
pflow-xyz/metamodel-rs
build models using Petri-nets with an internal Domain Specific Language (DSL)
Language: Rust - Size: 208 KB - Last synced at: 15 days ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
RamiATASSI/PetriNet_backend_API
A web server API that accepts a Petri net as input, executes its transitions, and streams its evolution (state changes) in real time via a WebSocket connection. A demo of its' usage is available on the webserver URL.
Language: Python - Size: 40 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
aslakhellesoy/petrinet
Petri Net simulation and diagramming
Language: Ruby - Size: 2.59 MB - Last synced at: 12 days ago - Pushed at: almost 4 years ago - Stars: 20 - Forks: 3
statebox/idris-stbx-core
Category theoretic semantics of glued open Petri nets in Idris
Language: Idris - Size: 980 KB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 1
albertovalerio/petri-nets-tool-reactjs
A tool to draw Petri Nets and analyze their static and dynamic behavior.
Language: CSS - Size: 270 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
JugoliGitHub/pnGraph
a little bit of help for my lecture about petrinets
Language: Java - Size: 280 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0
p-offtermatt/FastForward
A tool for reachability and coverability in Petri nets.
Language: Python - Size: 609 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
Julian-Theis/DREAM-NAP
Decay Replay Mining to Predict Next Process Events
Language: Java - Size: 2.24 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 8 - Forks: 5
statebox/dstbx
dependently typed Statebox (heavy WIP)
Language: Idris - Size: 606 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 8 - Forks: 0
organizachon/petrify
A tool for modeling Petri Nets
Language: TypeScript - Size: 412 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
