Simulation has long been adopted in the study of traffic flow and transportation systems. Although simulation is a strong tool in generating and replicating traffic patterns, computing travel times and providing us with a better understanding of the relationship between variables of traffic flow systems, its mathematical properties are not well understood due to its rule-based and algorithmic nature. In the authors view, one major obstacle to having a discussion about traffic flow simulation properties is the lack of a language by which such a discussion can occur. This dissertation seeks to overcome this void by defining a set of implicit variables and functions that facilitate the communication process regarding simulation models. To attain this goal, the simulation of traffic is modeled as a system consisting of elements, whose relations are easier to study. This approach is a reversal of sorts in the study of simulation models, considering that simulation models were initially designed to overcome the limitations of analytical methods, and therefore are not readily described by analytical equation. Some of the properties of traffic simulation models include shape in topographical view, continuity, monotonicity and sensitivity of outputs to inputs. The input variable of interest in this study is the path flow vector and the output of interest is the path travel time vector. These properties are investigated and their implications are discussed and some suggestions for overcoming some of the undesired properties are provided. Also this dissertation will provide an algorithmic framework for computing the sensitivity of the path travel time vector to the path flow vector. The sensitivities are necessary for capturing the marginal effects which is a requirement for improving the convergence of simulation-based dynamic traffic assignment DTA) and enhancing its application to problems such as system optimal traffic assignment and toll design. Another large application area of these findings is in online predictive traffic control. The techniques can also be applied to enrich the simulation scenario database which will later be used for forming control strategies. Estimating each of the derivatives is equivalent to repeating the simulation which is computationally very demanding considering the number of input and output variables in the system. This study will give a general definition of DTA model concept and path travel time and path flow variables. Afterwards, in each section, each property of the travel time function is investigated mathematically and experiments are performed to show how likely these properties are to occur. Finally a framework and algorithm for deriving the derivatives of each of the experienced path travel times with respect to each of the path departure rates is provided. In other words, changes in the experienced path travel time vector due to slight changes in the path departure rate vector are captured. The performance of the technique is evaluated by comparing its derivative values with the values obtained from a brute force method. The algorithm will also be implemented for solving system optimal dynamic traffic assignment SO_DTA) problem. Each property is investigated for a general discrete-event traffic simulation model which only imposes the weak FIFO assumption of particles at the segment level. In small examples, Cell Transmission Model is adopted, and for algorithm implementation and statistical frequency analysis, DYNASMART traffic simulation model is adopted. Key Words: Simulated path travel time, Traffic flow simulation model, Dynamic traffic assignment models, Concavity, Monotonicity, Continuity, Shape in topographical view, Sensitivity, Perturbation analysis, System optimal, Toll design, Marginal effects, Discrete-event, FIFO, Cell Transmission Model, DYNASMART