论文信息 - Petri net with conflicts and (max, plus) algebra for transportation systems

Petri net with conflicts and (max, plus) algebra for transportation systems

Abstract In this paper, solving of conflicts of a Petri net model with techniques of (max, plus) algebra is considered. We define a routing policy which enables to solve and arbitrate the associated conflicts with a Petri net. We show how the conflict solving semantic prevents the deadlock in a graphical model while introducing routing functions into modelling. To illustrate the proposed results, a public transportation network is worked out. The aim is to analyze and evaluate the performance of a bus network which is represented by a Petri net with conflicts and a state model in (max, plus) algebra.

Ahmed Nait-Sidi-Moh | Marie-Ange Manier | Maxime Wack | A. El Moudni

[1] A. Nait-Sidi-Moh,et al. Performance Analysis of a Bus Network Based on Petri Nets and (Max,+) Algebra , 2003 .

[2] J. Boimond,et al. TIMETABLE SYNTHESIS USING (MAX,+) ALGEBRA , 2006 .

[3] A. Nait-Sidi-Moh,et al. Contribution à la modélisation, à l'analyse et à la commande des systèmes de transport public par les réseaux de Petri et l'algèbre (Max, Plus) , 2003 .

[4] J. Quadrat,et al. A linear-system-theoretic view of discrete-event processes , 1983, The 22nd IEEE Conference on Decision and Control.

[5] Hsu-Chun Yen,et al. A valuation-based analysis of conflict-free Petri nets , 2002, Syst. Control. Lett..

[6] Anne Bouillard. Optimisation et analyse probabiliste de systèmes à évènements discrets , 2005 .

[7] Geert Jan Olsder,et al. Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[8] Marie-Ange Manier,et al. SPECTRAL THEORY IN (MAX, PLUS) ALGEBRA FOR PERFORMANCE EVALUATION IN A TRANSPORT NETWORK , 2006 .

[9] S. Gaubert. Theorie des systemes lineaires dans les dioides , 1992 .

[10] B. Schutter,et al. On max-algebraic models for transportation networks , 1998 .