Generalized transformation of POR

Former-commit-id: f9895c1319

examples/dft/por_mix.dft

@@ -0,0 +1,6 @@
+toplevel "A";
+"A" por "B" "C" "D";
+"B" and "C" "E";
+"C" lambda=0.2 dorm=0.0;
+"D" lambda=0.2 dorm=0.0;
+"E" lambda=0.2 dorm=0.0;

src/transformations/dft/DftToGspnTransformator.cpp

@@ -231,8 +231,6 @@ namespace storm {
 				immediateTransitionPORFailsave.setInhibitionArcMultiplicity(placePORFailsave, 1);
 				immediateTransitionPORFailsave.setOutputArcMultiplicity(placePORFailsave, 1);
 				mGspn.addImmediateTransition(immediateTransitionPORFailsave);
-				
-				// TODO: Extend for more than 2 children.
 			}
 			
 			template <typename ValueType>
@@ -352,7 +350,7 @@ namespace storm {
 										porEntry2.second->setInhibitionArcMultiplicity(childExit.second, 1);
 										
 									}
-									else if (children[1] == child) { // Current element is secondary child.
+									else { // Current element is a child, that is not the primary child.
 										porEntry2.second->setInputArcMultiplicity(childExit.second, 1);
 										porEntry2.second->setOutputArcMultiplicity(childExit.second, 1);
 									}