Implementation of a Petri-net based Digital Twin for the development procedure of an Electric Vehicle