Title :
Petri net modeling of information flow in the online train ticket booking system
Author :
Ci Song ; Weimin Wu
Author_Institution :
State Key Lab. of Ind. Control Technol., Zhejiang Univ., Hangzhou, China
Abstract :
Trains are a main kind of transportation tools in China. Aiming at solving the inconvenience problem of buying a ticket, the Ministry of Railways of PRC developed an online train ticket booking system called 12306 website (http://www.12306.cn). In this paper, the online ticket booking system is analyzed by using the Petri net modeling method, furthermore, the PIPE software is used to draw a Petri net graph and obtain the incidence matrix. The obtained incidence can play an important role in the further analysis of the system performance.
Keywords :
Petri nets; Web sites; matrix algebra; railway engineering; transportation; 12306 Web site; China; PIPE software; Petri net graph; Petri net modeling; incidence matrix; information flow; online train ticket booking system; transportation tool; Analytical models; Computer crashes; Computers; Electronic mail; Mathematical model; Petri nets; Software; Information Flow; Modeling; Online Train Ticket Booking System; Petri Net;
Conference_Titel :
Automation and Logistics (ICAL), 2012 IEEE International Conference on
Conference_Location :
Zhengzhou
Print_ISBN :
978-1-4673-0362-0
Electronic_ISBN :
2161-8151
DOI :
10.1109/ICAL.2012.6308258
