diff --git a/projects/simple-petri-net/source.txt b/projects/simple-petri-net/source.txt
new file mode 100644
index 00000000..eeec0656
--- /dev/null
+++ b/projects/simple-petri-net/source.txt
@@ -0,0 +1 @@
+git https://gitlab.com/porky11/simple-petri-net.git