An upper bound on the cycle time of a stochastic marked graph using incomplete information on the transition firing time distributions