Return to Article Details FORMALIZATION OF ROLLING STOCK DISTRIBUTION PROCESSES BY USING DYNAMIC MODEL