Public transportation systems: modeling and analysis based on a new Petri net approach | IEEE Conference Publication | IEEE Xplore