The Modeling and Simulation of Negotiation Process for High-Tech Virtual Enterprise Based on UML and Petri Net.