Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Genetic Algorithms in Search, Optimization and Machine Learning
Genetic Algorithms in Search, Optimization and Machine Learning
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Hi-index | 0.00 |
The main goal of the paper is to present an optimized model of a complex City Transport System via CPN Tools (Coloured Petri Nets) in order to improve whole system with respect to their specific characteristics and environment (e.g. rush hours, car accident etc.). Our approach is based on timed Coloured Petri nets and simulation techniques exploiting such nets. In particular, we demonstrate on a simplified model from the real environment that the whole system is very predisposed to insufficiency. Especially, in any case of even a little delay the whole system begins to fail transfer people fluently. First of all, the main preliminaries are presented and after that we describe our approach and model in more details.