Dynamic Programming.- to Dynamic Programming.- Applications of Dynamic Programming.- Modeling of DP Problems.- The DP Specification Language gDPS.- DP Problem Specifications in gDPS.- Bellman Nets: A Class of Petri Nets.- Bellman Net Representations of DP Problems.- Design and Implementation of DP Tool.- DP2PN2Solver Tool.- DP2PN Parser and Builder.- The PN2Solver Modules.- Computational Results.- Java Solver Results of DP Problems.- Other Solver...