diff --git a/src/transformations/dft/DftToGspnTransformator.cpp b/src/transformations/dft/DftToGspnTransformator.cpp
index 4a9466987..e53b10497 100644
--- a/src/transformations/dft/DftToGspnTransformator.cpp
+++ b/src/transformations/dft/DftToGspnTransformator.cpp
@@ -544,10 +544,15 @@ namespace storm {
 			template <typename ValueType>
             uint_fast64_t DftToGspnTransformator<ValueType>::getPriority(uint_fast64_t priority, std::shared_ptr<storm::storage::DFTElement<ValueType> const> dftElement)
 			{
+				// TODO: This method is buggy for pdep2.dft and fdep.dft.
+				
 				// If element is the top element, return current priority.
 				if (dftElement->id() == mDft.getTopLevelIndex()) {
 					return priority;
 				}
+				else if (dftElement->type() == storm::storage::DFTElementType::PDEP) { // TODO: Else if Necessary?
+					return UINT_FAST64_MAX;
+				}
 				else { // Else look at all parents.
 					auto parents = dftElement->parents();
 					std::vector<uint_fast64_t> pathLengths;