Petri net modeling of information flow in the online train ticket booking system | IEEE Conference Publication | IEEE Xplore