diff --git a/src/storm/storage/jani/traverser/InformationCollector.cpp b/src/storm/storage/jani/traverser/InformationCollector.cpp
new file mode 100644
index 000000000..6a7a42ebb
--- /dev/null
+++ b/src/storm/storage/jani/traverser/InformationCollector.cpp
@@ -0,0 +1,20 @@
+#include "storm/storage/jani/traverser/InformationCollector.h"
+#include "storm/storage/jani/traverser/JaniTraverser.h"
+#include "storm/storage/jani/Model.h"
+
+namespace storm {
+    namespace jani {
+        namespace detail {
+
+        }
+
+        InformationObject collect(Model const& model) {
+            InformationObject result;
+            result.modelType = model.getModelType();
+            result.nrAutomata = model.getNumberOfAutomata();
+            result.nrEdges = model.getNumberOfEdges();
+            result.nrVariables = model.getTotalNumberOfNonTransientVariables();
+            return result;
+        }
+    }
+}
\ No newline at end of file
diff --git a/src/storm/storage/jani/traverser/InformationCollector.h b/src/storm/storage/jani/traverser/InformationCollector.h
new file mode 100644
index 000000000..2c094d124
--- /dev/null
+++ b/src/storm/storage/jani/traverser/InformationCollector.h
@@ -0,0 +1,20 @@
+#pragma once
+#include "storm/storage/jani/ModelType.h"
+
+namespace storm {
+    namespace jani {
+
+        class Model;
+
+        struct InformationObject {
+            storm::jani::ModelType modelType;
+            uint64_t nrVariables;
+            uint64_t nrAutomata;
+            uint64_t nrEdges;
+            uint64_t nrLocations;
+        };
+
+        InformationObject collect(Model const& model);
+    }
+}
+