Formal design of public transport stations owing to hybrid event graphs (HEG)

Whatever the period in the day and the season in the year multimodal hubs are characterized by a high concentration of travellers, particularly inside the public transport stations. In order to avoid accidents caused by platforms or quays saturation, the stations must be designed so that they can absorb peaks of travellers during the rush hours. A formal design method is developed in this paper. It is based on hybrid event graphs which are a class of hybrid Petri nets. This model allows following and evaluating the maximal number of travellers into the station in order to design secure facilities through rush period scenarios.