petri-net topic
List
petri-net repositories
codebase
33
Stars
17
Forks
Watchers
The jBPT code library is a compendium of technologies that support research on design, execution, and evaluation of business processes. The library offers a broad range of basis analysis and utility f...
ltsmin
52
Stars
31
Forks
Watchers
The LTSmin model checking toolset
cargo-check-deadlock
19
Stars
1
Forks
Watchers
Find deadlocks in Rust code with Petri net model checking
petrinet
18
Stars
3
Forks
Watchers
Petri Net simulation and diagramming