1. A method of part flow model for a programmable logic controller logical verification system, said method comprising the steps of: constructing a part flow model; determining whether the part flow model is acceptable; and using the part flow model to test PLC code to build a manufacturing line.