Planning and scheduling approaches in real manufacturing environments entail the need to cope with random attributes and variables to match the characteristics of real scheduling problems where uncertain events are frequent. Moreover, the capability of devising robust schedules, which are less sensitive to the disruptive effects of unexpected events, is a major request in real applications. In this paper, a branch-and-bound approach is proposed to solve the two-machine permutation flow shop scheduling problem with stochastic processing times. The objective is the minimisation of the value-at-risk of the makespan, to support decisionmakers in the trade-off between the expected performance and the mitigation of the impact of extreme scenarios. A Markovian Activity Network (MAN) model is adopted to estimate the distribution of the makespan and assess the value-at-risk for both partial and complete schedules. Phasetype distributions are used to enable general distributions for processing times while maintaining the capability to exploit a Markovian approach. The effectiveness and performance of the proposed approach are demonstrated through a set of computational experiments.