{ "actions": [], "automata": [ { "edges": [ { "destinations": [ { "assignments": [ { "comment": "D <- 50", "ref": "D", "value": 50 } ], "location": "l", "probability": { "comment": "(((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50) / ((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50))", "exp": { "left": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 }, "op": "/", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 } } } } ], "guard": { "comment": "(D = 0)", "exp": { "left": "D", "op": "=", "right": 0 } }, "location": "l", "rate": { "comment": "((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50)", "exp": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 } } }, { "destinations": [ { "assignments": [ { "comment": "D <- 0", "ref": "D", "value": 0 } ], "location": "l", "probability": { "comment": "(((3/400 * D) / 50) / (((3/400 * D) / 50) + ((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 } } } } }, { "assignments": [ { "comment": "D <- 100", "ref": "D", "value": 100 } ], "location": "l", "probability": { "comment": "(((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50) / (((3/400 * D) / 50) + ((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50)))", "exp": { "left": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 } } } } } ], "guard": { "comment": "(D = 50)", "exp": { "left": "D", "op": "=", "right": 50 } }, "location": "l", "rate": { "comment": "(((3/400 * D) / 50) + ((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 } } } }, { "destinations": [ { "assignments": [ { "comment": "D <- 50", "ref": "D", "value": 50 } ], "location": "l", "probability": { "comment": "(((3/400 * D) / 50) / (((3/400 * D) / 50) + ((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 } } } } }, { "assignments": [ { "comment": "D <- 150", "ref": "D", "value": 150 } ], "location": "l", "probability": { "comment": "(((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50) / (((3/400 * D) / 50) + ((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50)))", "exp": { "left": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 } } } } } ], "guard": { "comment": "(D = 100)", "exp": { "left": "D", "op": "=", "right": 100 } }, "location": "l", "rate": { "comment": "(((3/400 * D) / 50) + ((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 } } } }, { "destinations": [ { "assignments": [ { "comment": "D <- 100", "ref": "D", "value": 100 } ], "location": "l", "probability": { "comment": "(((3/400 * D) / 50) / (((3/400 * D) / 50) + ((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 } } } } }, { "assignments": [ { "comment": "D <- 200", "ref": "D", "value": 200 } ], "location": "l", "probability": { "comment": "(((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50) / (((3/400 * D) / 50) + ((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50)))", "exp": { "left": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 } } } } } ], "guard": { "comment": "(D = 150)", "exp": { "left": "D", "op": "=", "right": 150 } }, "location": "l", "rate": { "comment": "(((3/400 * D) / 50) + ((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 } } } }, { "destinations": [ { "assignments": [ { "comment": "D <- 150", "ref": "D", "value": 150 } ], "location": "l", "probability": { "comment": "(((3/400 * D) / 50) / (((3/400 * D) / 50) + ((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 } } } } }, { "assignments": [ { "comment": "D <- 250", "ref": "D", "value": 250 } ], "location": "l", "probability": { "comment": "(((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50) / (((3/400 * D) / 50) + ((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50)))", "exp": { "left": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 } } } } } ], "guard": { "comment": "(D = 200)", "exp": { "left": "D", "op": "=", "right": 200 } }, "location": "l", "rate": { "comment": "(((3/400 * D) / 50) + ((10 * ((((99/1000 / (199/100 + ((1/2 * XX) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * Y) ^ 2))) * 10)) + ((99/1000 / (199/100 + ((1/2 * Z) ^ 2))) * 10))) / 50))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "XX" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Y" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "Z" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 50 } } } }, { "destinations": [ { "assignments": [ { "comment": "D <- 200", "ref": "D", "value": 200 } ], "location": "l", "probability": { "comment": "(((3/400 * D) / 50) / ((3/400 * D) / 50))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 }, "op": "/", "right": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 } } } } ], "guard": { "comment": "(D = 250)", "exp": { "left": "D", "op": "=", "right": 250 } }, "location": "l", "rate": { "comment": "((3/400 * D) / 50)", "exp": { "left": { "left": 0.0075, "op": "*", "right": "D" }, "op": "/", "right": 50 } } } ], "initial-locations": [ "l" ], "locations": [ { "name": "l", "transient-values": [ { "comment": "target <- ((EE > 40) & (CC < 20))", "ref": "target", "value": { "left": { "left": "EE", "op": ">", "right": 40 }, "op": "∧", "right": { "left": "CC", "op": "<", "right": 20 } } } ] } ], "name": "D_def", "variables": [] }, { "edges": [ { "destinations": [ { "assignments": [ { "comment": "Y <- 30", "ref": "Y", "value": 30 } ], "location": "l", "probability": { "comment": "(((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30) / ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30))", "exp": { "left": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } } ], "guard": { "comment": "(Y = 0)", "exp": { "left": "Y", "op": "=", "right": 0 } }, "location": "l", "rate": { "comment": "((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30)", "exp": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } }, { "destinations": [ { "assignments": [ { "comment": "Y <- 0", "ref": "Y", "value": 0 } ], "location": "l", "probability": { "comment": "(((3/400 * Y) / 30) / (((3/400 * Y) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Y" }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Y" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } } }, { "assignments": [ { "comment": "Y <- 60", "ref": "Y", "value": 60 } ], "location": "l", "probability": { "comment": "(((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30) / (((3/400 * Y) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Y" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } } } ], "guard": { "comment": "(Y = 30)", "exp": { "left": "Y", "op": "=", "right": 30 } }, "location": "l", "rate": { "comment": "(((3/400 * Y) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Y" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } }, { "destinations": [ { "assignments": [ { "comment": "Y <- 30", "ref": "Y", "value": 30 } ], "location": "l", "probability": { "comment": "(((3/400 * Y) / 30) / (((3/400 * Y) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Y" }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Y" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } } }, { "assignments": [ { "comment": "Y <- 90", "ref": "Y", "value": 90 } ], "location": "l", "probability": { "comment": "(((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30) / (((3/400 * Y) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Y" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } } } ], "guard": { "comment": "(Y = 60)", "exp": { "left": "Y", "op": "=", "right": 60 } }, "location": "l", "rate": { "comment": "(((3/400 * Y) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Y" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } }, { "destinations": [ { "assignments": [ { "comment": "Y <- 60", "ref": "Y", "value": 60 } ], "location": "l", "probability": { "comment": "(((3/400 * Y) / 30) / (((3/400 * Y) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Y" }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Y" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } } }, { "assignments": [ { "comment": "Y <- 120", "ref": "Y", "value": 120 } ], "location": "l", "probability": { "comment": "(((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30) / (((3/400 * Y) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Y" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } } } ], "guard": { "comment": "(Y = 90)", "exp": { "left": "Y", "op": "=", "right": 90 } }, "location": "l", "rate": { "comment": "(((3/400 * Y) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Y" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } }, { "destinations": [ { "assignments": [ { "comment": "Y <- 90", "ref": "Y", "value": 90 } ], "location": "l", "probability": { "comment": "(((3/400 * Y) / 30) / ((3/400 * Y) / 30))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Y" }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": 0.0075, "op": "*", "right": "Y" }, "op": "/", "right": 30 } } } } ], "guard": { "comment": "(Y = 120)", "exp": { "left": "Y", "op": "=", "right": 120 } }, "location": "l", "rate": { "comment": "((3/400 * Y) / 30)", "exp": { "left": { "left": 0.0075, "op": "*", "right": "Y" }, "op": "/", "right": 30 } } } ], "initial-locations": [ "l" ], "locations": [ { "name": "l" } ], "name": "Y_def", "variables": [] }, { "edges": [ { "destinations": [ { "assignments": [ { "comment": "Z <- 30", "ref": "Z", "value": 30 } ], "location": "l", "probability": { "comment": "(((10 * (((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30) / ((10 * (((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30))", "exp": { "left": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 360199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 360199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } } ], "guard": { "comment": "(Z = 0)", "exp": { "left": "Z", "op": "=", "right": 0 } }, "location": "l", "rate": { "comment": "((10 * (((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30)", "exp": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 360199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } }, { "destinations": [ { "assignments": [ { "comment": "Z <- 0", "ref": "Z", "value": 0 } ], "location": "l", "probability": { "comment": "(((3/400 * Z) / 30) / (((3/400 * Z) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Z" }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Z" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 360199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } } }, { "assignments": [ { "comment": "Z <- 60", "ref": "Z", "value": 60 } ], "location": "l", "probability": { "comment": "(((10 * (((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30) / (((3/400 * Z) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 360199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Z" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 360199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } } } ], "guard": { "comment": "(Z = 30)", "exp": { "left": "Z", "op": "=", "right": 30 } }, "location": "l", "rate": { "comment": "(((3/400 * Z) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Z" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 360199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } }, { "destinations": [ { "assignments": [ { "comment": "Z <- 30", "ref": "Z", "value": 30 } ], "location": "l", "probability": { "comment": "(((3/400 * Z) / 30) / (((3/400 * Z) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Z" }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Z" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 360199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } } }, { "assignments": [ { "comment": "Z <- 90", "ref": "Z", "value": 90 } ], "location": "l", "probability": { "comment": "(((10 * (((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30) / (((3/400 * Z) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 360199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Z" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 360199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } } } ], "guard": { "comment": "(Z = 60)", "exp": { "left": "Z", "op": "=", "right": 60 } }, "location": "l", "rate": { "comment": "(((3/400 * Z) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Z" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 360199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } }, { "destinations": [ { "assignments": [ { "comment": "Z <- 60", "ref": "Z", "value": 60 } ], "location": "l", "probability": { "comment": "(((3/400 * Z) / 30) / (((3/400 * Z) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Z" }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Z" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 360199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } } }, { "assignments": [ { "comment": "Z <- 120", "ref": "Z", "value": 120 } ], "location": "l", "probability": { "comment": "(((10 * (((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30) / (((3/400 * Z) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 360199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Z" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 360199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } } } ], "guard": { "comment": "(Z = 90)", "exp": { "left": "Z", "op": "=", "right": 90 } }, "location": "l", "rate": { "comment": "(((3/400 * Z) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * D) ^ 2))) * 10))) / 30))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Z" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": { "left": 10, "op": "*", "right": { "left": { "left": 99.0, "op": "/", "right": 360199.0 }, "op": "+", "right": { "left": { "left": { "left": 99.0, "op": "/", "right": 1000.0 }, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 } } }, "op": "/", "right": 30 } } } }, { "destinations": [ { "assignments": [ { "comment": "Z <- 90", "ref": "Z", "value": 90 } ], "location": "l", "probability": { "comment": "(((3/400 * Z) / 30) / ((3/400 * Z) / 30))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "Z" }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": 0.0075, "op": "*", "right": "Z" }, "op": "/", "right": 30 } } } } ], "guard": { "comment": "(Z = 120)", "exp": { "left": "Z", "op": "=", "right": 120 } }, "location": "l", "rate": { "comment": "((3/400 * Z) / 30)", "exp": { "left": { "left": 0.0075, "op": "*", "right": "Z" }, "op": "/", "right": 30 } } } ], "initial-locations": [ "l" ], "locations": [ { "name": "l" } ], "name": "Z_def", "variables": [] }, { "edges": [ { "destinations": [ { "assignments": [ { "comment": "CC <- 10", "ref": "CC", "value": 10 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10) / ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } ], "guard": { "comment": "(CC = 0)", "exp": { "left": "CC", "op": "=", "right": 0 } }, "location": "l", "rate": { "comment": "((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)", "exp": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } }, { "destinations": [ { "assignments": [ { "comment": "CC <- 0", "ref": "CC", "value": 0 } ], "location": "l", "probability": { "comment": "(((3/400 * CC) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } }, { "assignments": [ { "comment": "CC <- 20", "ref": "CC", "value": 20 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } } ], "guard": { "comment": "(CC = 10)", "exp": { "left": "CC", "op": "=", "right": 10 } }, "location": "l", "rate": { "comment": "(((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } }, { "destinations": [ { "assignments": [ { "comment": "CC <- 10", "ref": "CC", "value": 10 } ], "location": "l", "probability": { "comment": "(((3/400 * CC) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } }, { "assignments": [ { "comment": "CC <- 30", "ref": "CC", "value": 30 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } } ], "guard": { "comment": "(CC = 20)", "exp": { "left": "CC", "op": "=", "right": 20 } }, "location": "l", "rate": { "comment": "(((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } }, { "destinations": [ { "assignments": [ { "comment": "CC <- 20", "ref": "CC", "value": 20 } ], "location": "l", "probability": { "comment": "(((3/400 * CC) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } }, { "assignments": [ { "comment": "CC <- 40", "ref": "CC", "value": 40 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } } ], "guard": { "comment": "(CC = 30)", "exp": { "left": "CC", "op": "=", "right": 30 } }, "location": "l", "rate": { "comment": "(((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } }, { "destinations": [ { "assignments": [ { "comment": "CC <- 30", "ref": "CC", "value": 30 } ], "location": "l", "probability": { "comment": "(((3/400 * CC) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } }, { "assignments": [ { "comment": "CC <- 50", "ref": "CC", "value": 50 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } } ], "guard": { "comment": "(CC = 40)", "exp": { "left": "CC", "op": "=", "right": 40 } }, "location": "l", "rate": { "comment": "(((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } }, { "destinations": [ { "assignments": [ { "comment": "CC <- 40", "ref": "CC", "value": 40 } ], "location": "l", "probability": { "comment": "(((3/400 * CC) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } }, { "assignments": [ { "comment": "CC <- 60", "ref": "CC", "value": 60 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } } ], "guard": { "comment": "(CC = 50)", "exp": { "left": "CC", "op": "=", "right": 50 } }, "location": "l", "rate": { "comment": "(((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } }, { "destinations": [ { "assignments": [ { "comment": "CC <- 50", "ref": "CC", "value": 50 } ], "location": "l", "probability": { "comment": "(((3/400 * CC) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } }, { "assignments": [ { "comment": "CC <- 70", "ref": "CC", "value": 70 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } } ], "guard": { "comment": "(CC = 60)", "exp": { "left": "CC", "op": "=", "right": 60 } }, "location": "l", "rate": { "comment": "(((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } }, { "destinations": [ { "assignments": [ { "comment": "CC <- 60", "ref": "CC", "value": 60 } ], "location": "l", "probability": { "comment": "(((3/400 * CC) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } }, { "assignments": [ { "comment": "CC <- 80", "ref": "CC", "value": 80 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } } ], "guard": { "comment": "(CC = 70)", "exp": { "left": "CC", "op": "=", "right": 70 } }, "location": "l", "rate": { "comment": "(((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } }, { "destinations": [ { "assignments": [ { "comment": "CC <- 70", "ref": "CC", "value": 70 } ], "location": "l", "probability": { "comment": "(((3/400 * CC) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } }, { "assignments": [ { "comment": "CC <- 90", "ref": "CC", "value": 90 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } } ], "guard": { "comment": "(CC = 80)", "exp": { "left": "CC", "op": "=", "right": 80 } }, "location": "l", "rate": { "comment": "(((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } }, { "destinations": [ { "assignments": [ { "comment": "CC <- 80", "ref": "CC", "value": 80 } ], "location": "l", "probability": { "comment": "(((3/400 * CC) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } }, { "assignments": [ { "comment": "CC <- 100", "ref": "CC", "value": 100 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } } ], "guard": { "comment": "(CC = 90)", "exp": { "left": "CC", "op": "=", "right": 90 } }, "location": "l", "rate": { "comment": "(((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } }, { "destinations": [ { "assignments": [ { "comment": "CC <- 90", "ref": "CC", "value": 90 } ], "location": "l", "probability": { "comment": "(((3/400 * CC) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } }, { "assignments": [ { "comment": "CC <- 110", "ref": "CC", "value": 110 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } } ], "guard": { "comment": "(CC = 100)", "exp": { "left": "CC", "op": "=", "right": 100 } }, "location": "l", "rate": { "comment": "(((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } }, { "destinations": [ { "assignments": [ { "comment": "CC <- 100", "ref": "CC", "value": 100 } ], "location": "l", "probability": { "comment": "(((3/400 * CC) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } }, { "assignments": [ { "comment": "CC <- 120", "ref": "CC", "value": 120 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } } ], "guard": { "comment": "(CC = 110)", "exp": { "left": "CC", "op": "=", "right": 110 } }, "location": "l", "rate": { "comment": "(((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } }, { "destinations": [ { "assignments": [ { "comment": "CC <- 110", "ref": "CC", "value": 110 } ], "location": "l", "probability": { "comment": "(((3/400 * CC) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } }, { "assignments": [ { "comment": "CC <- 130", "ref": "CC", "value": 130 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } } ], "guard": { "comment": "(CC = 120)", "exp": { "left": "CC", "op": "=", "right": 120 } }, "location": "l", "rate": { "comment": "(((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } }, { "destinations": [ { "assignments": [ { "comment": "CC <- 120", "ref": "CC", "value": 120 } ], "location": "l", "probability": { "comment": "(((3/400 * CC) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } }, { "assignments": [ { "comment": "CC <- 140", "ref": "CC", "value": 140 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } } ], "guard": { "comment": "(CC = 130)", "exp": { "left": "CC", "op": "=", "right": 130 } }, "location": "l", "rate": { "comment": "(((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } }, { "destinations": [ { "assignments": [ { "comment": "CC <- 130", "ref": "CC", "value": 130 } ], "location": "l", "probability": { "comment": "(((3/400 * CC) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } }, { "assignments": [ { "comment": "CC <- 150", "ref": "CC", "value": 150 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10) / (((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } } } ], "guard": { "comment": "(CC = 140)", "exp": { "left": "CC", "op": "=", "right": 140 } }, "location": "l", "rate": { "comment": "(((3/400 * CC) / 10) + ((((10 * 99/1000) / (199/100 + ((1/2 * EE) ^ 2))) * 10) / 10))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "EE" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 10 } } } }, { "destinations": [ { "assignments": [ { "comment": "CC <- 140", "ref": "CC", "value": 140 } ], "location": "l", "probability": { "comment": "(((3/400 * CC) / 10) / ((3/400 * CC) / 10))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 }, "op": "/", "right": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 } } } } ], "guard": { "comment": "(CC = 150)", "exp": { "left": "CC", "op": "=", "right": 150 } }, "location": "l", "rate": { "comment": "((3/400 * CC) / 10)", "exp": { "left": { "left": 0.0075, "op": "*", "right": "CC" }, "op": "/", "right": 10 } } } ], "initial-locations": [ "l" ], "locations": [ { "name": "l" } ], "name": "CC_def", "variables": [] }, { "edges": [ { "destinations": [ { "assignments": [ { "comment": "XX <- 30", "ref": "XX", "value": 30 } ], "location": "l", "probability": { "comment": "(((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10))) / 30) / ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10))) / 30))", "exp": 1.0 } } ], "guard": { "comment": "(XX = 0)", "exp": { "left": "XX", "op": "=", "right": 0 } }, "location": "l", "rate": { "comment": "((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10))) / 30)", "exp": { "left": 11893134.0, "op": "/", "right": 71679601.0 } } }, { "destinations": [ { "assignments": [ { "comment": "XX <- 0", "ref": "XX", "value": 0 } ], "location": "l", "probability": { "comment": "(((3/400 * XX) / 30) / (((3/400 * XX) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "XX" }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "XX" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": 11893134.0, "op": "/", "right": 71679601.0 } } } } }, { "assignments": [ { "comment": "XX <- 60", "ref": "XX", "value": 60 } ], "location": "l", "probability": { "comment": "(((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10))) / 30) / (((3/400 * XX) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": 11893134.0, "op": "/", "right": 71679601.0 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "XX" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": 11893134.0, "op": "/", "right": 71679601.0 } } } } } ], "guard": { "comment": "(XX = 30)", "exp": { "left": "XX", "op": "=", "right": 30 } }, "location": "l", "rate": { "comment": "(((3/400 * XX) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10))) / 30))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "XX" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": 11893134.0, "op": "/", "right": 71679601.0 } } } }, { "destinations": [ { "assignments": [ { "comment": "XX <- 30", "ref": "XX", "value": 30 } ], "location": "l", "probability": { "comment": "(((3/400 * XX) / 30) / (((3/400 * XX) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "XX" }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "XX" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": 11893134.0, "op": "/", "right": 71679601.0 } } } } }, { "assignments": [ { "comment": "XX <- 90", "ref": "XX", "value": 90 } ], "location": "l", "probability": { "comment": "(((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10))) / 30) / (((3/400 * XX) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": 11893134.0, "op": "/", "right": 71679601.0 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "XX" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": 11893134.0, "op": "/", "right": 71679601.0 } } } } } ], "guard": { "comment": "(XX = 60)", "exp": { "left": "XX", "op": "=", "right": 60 } }, "location": "l", "rate": { "comment": "(((3/400 * XX) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10))) / 30))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "XX" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": 11893134.0, "op": "/", "right": 71679601.0 } } } }, { "destinations": [ { "assignments": [ { "comment": "XX <- 60", "ref": "XX", "value": 60 } ], "location": "l", "probability": { "comment": "(((3/400 * XX) / 30) / (((3/400 * XX) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "XX" }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "XX" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": 11893134.0, "op": "/", "right": 71679601.0 } } } } }, { "assignments": [ { "comment": "XX <- 120", "ref": "XX", "value": 120 } ], "location": "l", "probability": { "comment": "(((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10))) / 30) / (((3/400 * XX) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10))) / 30)))", "exp": { "left": { "left": 11893134.0, "op": "/", "right": 71679601.0 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "XX" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": 11893134.0, "op": "/", "right": 71679601.0 } } } } } ], "guard": { "comment": "(XX = 90)", "exp": { "left": "XX", "op": "=", "right": 90 } }, "location": "l", "rate": { "comment": "(((3/400 * XX) / 30) + ((10 * (((99/1000 / (199/100 + ((1/2 * 0) ^ 2))) * 10) + ((99/1000 / (199/100 + ((1/2 * 120) ^ 2))) * 10))) / 30))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "XX" }, "op": "/", "right": 30 }, "op": "+", "right": { "left": 11893134.0, "op": "/", "right": 71679601.0 } } } }, { "destinations": [ { "assignments": [ { "comment": "XX <- 90", "ref": "XX", "value": 90 } ], "location": "l", "probability": { "comment": "(((3/400 * XX) / 30) / ((3/400 * XX) / 30))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "XX" }, "op": "/", "right": 30 }, "op": "/", "right": { "left": { "left": 0.0075, "op": "*", "right": "XX" }, "op": "/", "right": 30 } } } } ], "guard": { "comment": "(XX = 120)", "exp": { "left": "XX", "op": "=", "right": 120 } }, "location": "l", "rate": { "comment": "((3/400 * XX) / 30)", "exp": { "left": { "left": 0.0075, "op": "*", "right": "XX" }, "op": "/", "right": 30 } } } ], "initial-locations": [ "l" ], "locations": [ { "name": "l" } ], "name": "XX_def", "variables": [] }, { "edges": [ { "destinations": [ { "assignments": [ { "comment": "EE <- 3", "ref": "EE", "value": 3 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3) / ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } ], "guard": { "comment": "(EE = 0)", "exp": { "left": "EE", "op": "=", "right": 0 } }, "location": "l", "rate": { "comment": "((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)", "exp": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } }, { "destinations": [ { "assignments": [ { "comment": "EE <- 0", "ref": "EE", "value": 0 } ], "location": "l", "probability": { "comment": "(((3/400 * EE) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } }, { "assignments": [ { "comment": "EE <- 6", "ref": "EE", "value": 6 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } } ], "guard": { "comment": "(EE = 3)", "exp": { "left": "EE", "op": "=", "right": 3 } }, "location": "l", "rate": { "comment": "(((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } }, { "destinations": [ { "assignments": [ { "comment": "EE <- 3", "ref": "EE", "value": 3 } ], "location": "l", "probability": { "comment": "(((3/400 * EE) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } }, { "assignments": [ { "comment": "EE <- 9", "ref": "EE", "value": 9 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } } ], "guard": { "comment": "(EE = 6)", "exp": { "left": "EE", "op": "=", "right": 6 } }, "location": "l", "rate": { "comment": "(((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } }, { "destinations": [ { "assignments": [ { "comment": "EE <- 6", "ref": "EE", "value": 6 } ], "location": "l", "probability": { "comment": "(((3/400 * EE) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } }, { "assignments": [ { "comment": "EE <- 12", "ref": "EE", "value": 12 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } } ], "guard": { "comment": "(EE = 9)", "exp": { "left": "EE", "op": "=", "right": 9 } }, "location": "l", "rate": { "comment": "(((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } }, { "destinations": [ { "assignments": [ { "comment": "EE <- 9", "ref": "EE", "value": 9 } ], "location": "l", "probability": { "comment": "(((3/400 * EE) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } }, { "assignments": [ { "comment": "EE <- 15", "ref": "EE", "value": 15 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } } ], "guard": { "comment": "(EE = 12)", "exp": { "left": "EE", "op": "=", "right": 12 } }, "location": "l", "rate": { "comment": "(((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } }, { "destinations": [ { "assignments": [ { "comment": "EE <- 12", "ref": "EE", "value": 12 } ], "location": "l", "probability": { "comment": "(((3/400 * EE) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } }, { "assignments": [ { "comment": "EE <- 18", "ref": "EE", "value": 18 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } } ], "guard": { "comment": "(EE = 15)", "exp": { "left": "EE", "op": "=", "right": 15 } }, "location": "l", "rate": { "comment": "(((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } }, { "destinations": [ { "assignments": [ { "comment": "EE <- 15", "ref": "EE", "value": 15 } ], "location": "l", "probability": { "comment": "(((3/400 * EE) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } }, { "assignments": [ { "comment": "EE <- 21", "ref": "EE", "value": 21 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } } ], "guard": { "comment": "(EE = 18)", "exp": { "left": "EE", "op": "=", "right": 18 } }, "location": "l", "rate": { "comment": "(((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } }, { "destinations": [ { "assignments": [ { "comment": "EE <- 18", "ref": "EE", "value": 18 } ], "location": "l", "probability": { "comment": "(((3/400 * EE) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } }, { "assignments": [ { "comment": "EE <- 24", "ref": "EE", "value": 24 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } } ], "guard": { "comment": "(EE = 21)", "exp": { "left": "EE", "op": "=", "right": 21 } }, "location": "l", "rate": { "comment": "(((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } }, { "destinations": [ { "assignments": [ { "comment": "EE <- 21", "ref": "EE", "value": 21 } ], "location": "l", "probability": { "comment": "(((3/400 * EE) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } }, { "assignments": [ { "comment": "EE <- 27", "ref": "EE", "value": 27 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } } ], "guard": { "comment": "(EE = 24)", "exp": { "left": "EE", "op": "=", "right": 24 } }, "location": "l", "rate": { "comment": "(((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } }, { "destinations": [ { "assignments": [ { "comment": "EE <- 24", "ref": "EE", "value": 24 } ], "location": "l", "probability": { "comment": "(((3/400 * EE) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } }, { "assignments": [ { "comment": "EE <- 30", "ref": "EE", "value": 30 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } } ], "guard": { "comment": "(EE = 27)", "exp": { "left": "EE", "op": "=", "right": 27 } }, "location": "l", "rate": { "comment": "(((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } }, { "destinations": [ { "assignments": [ { "comment": "EE <- 27", "ref": "EE", "value": 27 } ], "location": "l", "probability": { "comment": "(((3/400 * EE) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } }, { "assignments": [ { "comment": "EE <- 33", "ref": "EE", "value": 33 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } } ], "guard": { "comment": "(EE = 30)", "exp": { "left": "EE", "op": "=", "right": 30 } }, "location": "l", "rate": { "comment": "(((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } }, { "destinations": [ { "assignments": [ { "comment": "EE <- 30", "ref": "EE", "value": 30 } ], "location": "l", "probability": { "comment": "(((3/400 * EE) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } }, { "assignments": [ { "comment": "EE <- 36", "ref": "EE", "value": 36 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } } ], "guard": { "comment": "(EE = 33)", "exp": { "left": "EE", "op": "=", "right": 33 } }, "location": "l", "rate": { "comment": "(((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } }, { "destinations": [ { "assignments": [ { "comment": "EE <- 33", "ref": "EE", "value": 33 } ], "location": "l", "probability": { "comment": "(((3/400 * EE) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } }, { "assignments": [ { "comment": "EE <- 39", "ref": "EE", "value": 39 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } } ], "guard": { "comment": "(EE = 36)", "exp": { "left": "EE", "op": "=", "right": 36 } }, "location": "l", "rate": { "comment": "(((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } }, { "destinations": [ { "assignments": [ { "comment": "EE <- 36", "ref": "EE", "value": 36 } ], "location": "l", "probability": { "comment": "(((3/400 * EE) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } }, { "assignments": [ { "comment": "EE <- 42", "ref": "EE", "value": 42 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } } ], "guard": { "comment": "(EE = 39)", "exp": { "left": "EE", "op": "=", "right": 39 } }, "location": "l", "rate": { "comment": "(((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } }, { "destinations": [ { "assignments": [ { "comment": "EE <- 39", "ref": "EE", "value": 39 } ], "location": "l", "probability": { "comment": "(((3/400 * EE) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } }, { "assignments": [ { "comment": "EE <- 45", "ref": "EE", "value": 45 } ], "location": "l", "probability": { "comment": "(((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3) / (((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3)))", "exp": { "left": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } } } ], "guard": { "comment": "(EE = 42)", "exp": { "left": "EE", "op": "=", "right": 42 } }, "location": "l", "rate": { "comment": "(((3/400 * EE) / 3) + ((((10 * 99/1000) / (199/100 + ((1/2 * D) ^ 2))) * 10) / 3))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "+", "right": { "left": { "left": { "left": 0.99, "op": "/", "right": { "left": 1.99, "op": "+", "right": { "left": { "left": 0.5, "op": "*", "right": "D" }, "op": "pow", "right": 2 } } }, "op": "*", "right": 10 }, "op": "/", "right": 3 } } } }, { "destinations": [ { "assignments": [ { "comment": "EE <- 42", "ref": "EE", "value": 42 } ], "location": "l", "probability": { "comment": "(((3/400 * EE) / 3) / ((3/400 * EE) / 3))", "exp": { "left": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 }, "op": "/", "right": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 } } } } ], "guard": { "comment": "(EE = 45)", "exp": { "left": "EE", "op": "=", "right": 45 } }, "location": "l", "rate": { "comment": "((3/400 * EE) / 3)", "exp": { "left": { "left": 0.0075, "op": "*", "right": "EE" }, "op": "/", "right": 3 } } } ], "initial-locations": [ "l" ], "locations": [ { "name": "l" } ], "name": "EE_def", "variables": [] } ], "constants": [ { "name": "T", "type": "int", "value": 2100 }, { "name": "AA", "type": "int", "value": 0 }, { "name": "B", "type": "int", "value": 120 } ], "features": [ "derived-operators" ], "jani-version": 1, "name": "model", "properties": [ { "expression": { "fun": "values", "op": "filter", "states": { "op": "initial" }, "values": { "exp": { "left": true, "op": "U", "right": "target", "time-bounds": { "upper": 2100, "upper-exclusive": false } }, "op": "Pmin" } }, "name": "change_state" } ], "restrict-initial": { "exp": true }, "system": { "elements": [ { "automaton": "D_def" }, { "automaton": "Y_def" }, { "automaton": "Z_def" }, { "automaton": "CC_def" }, { "automaton": "XX_def" }, { "automaton": "EE_def" } ] }, "type": "ctmc", "variables": [ { "initial-value": false, "name": "target", "transient": true, "type": "bool" }, { "initial-value": 200, "name": "D", "type": { "base": "int", "kind": "bounded", "lower-bound": 0, "upper-bound": 250 } }, { "initial-value": 0, "name": "Y", "type": { "base": "int", "kind": "bounded", "lower-bound": 0, "upper-bound": 120 } }, { "initial-value": 0, "name": "Z", "type": { "base": "int", "kind": "bounded", "lower-bound": 0, "upper-bound": 120 } }, { "initial-value": 120, "name": "CC", "type": { "base": "int", "kind": "bounded", "lower-bound": 0, "upper-bound": 150 } }, { "initial-value": 0, "name": "XX", "type": { "base": "int", "kind": "bounded", "lower-bound": 0, "upper-bound": 120 } }, { "initial-value": 0, "name": "EE", "type": { "base": "int", "kind": "bounded", "lower-bound": 0, "upper-bound": 45 } } ] }