diff --git a/.gitmodules b/.gitmodules
index c49ae2256b89a0ddcea03ccee5d5d7814cf00e2e..78d147084558e731c761b9473126800b22b1e33f 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,8 @@
 [submodule "libraries/parser"]
 	path = libraries/parser
 	url = https://depot.lipn.univ-paris13.fr/PMC-SOG/pn-parser/tree/mc-sog-parser
+[submodule "third-party/sylvan"]
+	path = third-party/sylvan
+	url = https://depot.lipn.univ-paris13.fr/PMC-SOG/sylvan.git
+	branch = Sylvan-SOG
+	
\ No newline at end of file