working on static analysis of petri-net structure

broccolimicro · Dec 20, 2024 · 4820a43 · 4820a43
1 parent 77c1698
commit 4820a43
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lib/hse b/lib/hse
diff --git a/lib/petri b/lib/petri
+54 −22		petri/graph.h
+3 −1		petri/node.cpp
+186 −0		tests/composition.cpp
+0 −0		tests/distance.cpp
+95 −0		tests/partial_composition.cpp
+485 −0		tests/select.cpp