One can simulate the moving vehicular load in Staad by Moving load option but the elaborate way of handing the analysis and designing of pre-tesnion or post-tension box grider, you may want to check RM bridge and Leap bridge software.
www.bentley.com…