Full refactoring applying some conventions

src/CMakeLists.txt

@@ -3,9 +3,9 @@ cmake_minimum_required(VERSION 3.5 FATAL_ERROR)
 
 # main program
 add_executable(sogMBT main.cpp
-  MDGraph.cpp
-  RdPBDD.cpp
-  Modular_Obs_Graph.cpp
+        sog.cpp
+        petri_net_sog.cpp
+        modular_sog.cpp
 )
 
 # link libraries