Ci Song, Weimin Wu. Petri net modeling of information flow in the online train ticket booking system. In 2012 IEEE International Conference on Automation and Logistics, Zhengzhou, China, August 15-17, 2012. pages 517-522, IEEE, 2012. [doi]
Abstract is missing.