diff --git a/src/Core/TAPN/TimedArcPetriNet.cpp b/src/Core/TAPN/TimedArcPetriNet.cpp
index 173f4609..619dcdbb 100755
--- a/src/Core/TAPN/TimedArcPetriNet.cpp
+++ b/src/Core/TAPN/TimedArcPetriNet.cpp
@@ -347,7 +347,10 @@ namespace TAPN {
             out << "<transition player=\"" << (transition->isControllable() ? 0 : 1)
                 << "\" id=\"" << transition->getName() << "\" name=\"" << transition->getName()
                 << "\" urgent=\"" << std::boolalpha << transition->isUrgent() 
-                << "\" weight=\"" << transition->getWeight()
+                << "\" weight=\"" << (
+                    transition->getWeight() == std::numeric_limits<double>::infinity() ?
+                    "Infinity" : std::to_string(transition->getWeight())
+                )
                 << "\" firingMode=\"" << SMC::firingModeName(transition->getFiringMode())
                 << "\" " << transition->getDistribution().toXML()
                 << ">\n";