Simulation model of public transportation system using multiagent approach by means of Petri Nets: Bogotá study case | IEEE Conference Publication | IEEE Xplore