Implementation of a Petri-net based Digital Twin for the development procedure of an Electric Vehicle | IEEE Conference Publication | IEEE Xplore