The recent interest in the Small Modular Reactor (SMR) for its potential increased economic competitiveness has focused attention in part on reducing operational costs to offset those plant costs that do not benefit from the economies of scale of large traditional units. Plant operation and maintenance economics are significantly driven by plant availability, which can be enhanced by means of innovative control strategies by avoiding unnecessary plant or unit trips. In this context, an effective strategy for achieving fast runback of a sodium-cooled SMR has been developed. In this work, after having defined and modeled a suitable control strategy by adopting the Petri nets formalism, a Model-based Predictive Control regulator has been devel...