De datoriserade systemen var vid den här tiden begränsade , men Tågplus var med i specifikationen för utvecklingen av Petra som skulle bli SJ : s bokningssystem .