• DocumentCode
    3406472
  • 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
  • fYear
    2012
  • fDate
    15-17 Aug. 2012
  • Firstpage
    517
  • Lastpage
    522
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Automation and Logistics (ICAL), 2012 IEEE International Conference on
  • Conference_Location
    Zhengzhou
  • ISSN
    2161-8151
  • Print_ISBN
    978-1-4673-0362-0
  • Electronic_ISBN
    2161-8151
  • Type

    conf

  • DOI
    10.1109/ICAL.2012.6308258
  • Filename
    6308258