From 003922a9e4c9ca6162d43e48cd9e245f0adaa1af Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 25 Oct 2018 14:25:33 +0200
Subject: [PATCH] Fixed optimization direction when exporting standard petri
 net properties to jani

---
 src/storm-gspn/builder/JaniGSPNBuilder.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-gspn/builder/JaniGSPNBuilder.cpp b/src/storm-gspn/builder/JaniGSPNBuilder.cpp
index a8669b1b8..21dfc6264 100644
--- a/src/storm-gspn/builder/JaniGSPNBuilder.cpp
+++ b/src/storm-gspn/builder/JaniGSPNBuilder.cpp
@@ -296,7 +296,7 @@ namespace storm {
             
             auto expTimeDeadlock = std::make_shared<storm::logic::TimeOperatorFormula>(
                     std::make_shared<storm::logic::EventuallyFormula>(deadlock, storm::logic::FormulaContext::Time),
-                    storm::logic::OperatorInformation(storm::solver::OptimizationDirection::Maximize));
+                    storm::logic::OperatorInformation(storm::solver::OptimizationDirection::Minimize));
             standardProperties.emplace_back("MinExpTimeDeadlock", expTimeDeadlock, emptyVariableSet, "The minimal expected time to reach a deadlock.");
             
         }