A hybrid Petri net model for performance analysis of electric transit systems with fast battery charging | IEEE Conference Publication | IEEE Xplore