Modelling and analysis of a non-synchronized transport network using Petri nets and (max, plus) algebra

Modelling, performance analysis and control play a major role in the design of discrete event systems (DES). An adequate formal method to describe the behaviour of such systems is required. This paper deals with the modelling and the performance evaluation of a public transportation system. The behaviour of such system is studied in the framework of DES. Specifically, the study focuses on modelling of transportation system using the two complementary tools Petri nets (PN) and dioid algebra. In this study, we focus mainly on a logical modelling avoiding temporal synchronization phenomena of resources. The performance analysis of the considered network is made by solving and analysing the (max, +) state model which describes the analytical behaviour of the network. Journey times of passengers and calculation of shortest path from an origin to a destination will be considered in the stage of performance evaluation.