**8. References**


[4] Bouyekhf R., Abbas-Turki A., Grunder O., El Moudni A., (2003) "Modelling, performance evaluation and planning of public transport systems using generalized stochastic Petri nets", *Transport reviews,* Vol. 23, No. 1, pp.51-69.

Petri Nets Models for Analysis and Control of Public Bicycle-Sharing Systems 491

variables) », *8th ENIM IFAC International Conference of Modeling and Simulation*,

[20] Labadi, K., Benarbia, T., Darcherif, M., and Chayet, M., (2012) "Modelling and Control of Self-Service Public Bicycle Systems by Using Petri Nets", *International Journal of Modelling, Identification and Control*, Vol. x, No. x, xxxx Vol. x, No. x, 2012 (accepted, to

[21] Labadi, K., Hamaci, S., Benarbia, T., (2010) "Un modèle dynamique pour la régulation des systèmes de vélos en libre-service", *ROADEF 2010, 11e Congrès annuel de la société française de Recherche Opérationnelle et d'Aide à la Décision*, 24-26 février 2010, Toulouse. [22] Lin, J.-R., Yang, T.-H. (2011), "Strategic design of public bicycle sharing systems with service level constraints", *In Transportation Research Part E: Logistics and Transportation* 

[23] Lin, J.-R., Yang, T-H., Chang, Y-C., (2011) "A hub location inventory model for bicycle sharing system design: Formulation and solution", *Article in Press, Computers &* 

[24] Lindemann C., (1998) "Performance modelling with deterministic and stochastic Petri

[25] List, G.F.; Cetin, M.; (2004) "*Modeling traffic signal control using Petri nets*", IEEE Transactions on Intelligent Transportation Systems, Vol. 5, No. 3, pp. 177–187. [26] Mukai, N., Watanabe T., (2005) "Dynamic location management for on-demand car sharing system", *KES'05 Proceedings of the 9th international conference on Knowledge-Based* 

*Intelligent Information and Engineering Systems*, Melbourne, Australia, pp. 768-774. [27] Murata T., (1989) "Petri nets: Properties, analysis, and applications," *in Proc. of the IEEE*,

[28] Nait-Sidi-Moh A., Manier M-A., El Moudni A., (2005) "max-plus algebra Modeling for a Public Transport System", *Journal of Cybernetics and Systems, Vol. 36/2, pp.165-180.* [29] Nait-Sidi-Moh A., Manier M-A., El Moudni A., Manier H., (2003) "*Performance Analysis of a Bus Network Based on Petri Nets and (max, +) Algebra*", International Journal of Systems Science (ex. SAMS: Systems Analysis Modelling Simulation), Vol. 43, No 5. pp.

[30] Raviv T., Tzur M., Forma I., (2011), "*Static Repositioning in a Bike-Sharing System: Models* 

[31] Shaheen, S., Guzman, S., & Zhang, H. (2010). "*Bikesharing in Europe, the Americas, and Asia: Past, Present, and Future*", Journal of the Transportation Research Board, 2143, pp.

[32] Silva M., Teruel E., (1997) "Petri nets for the design and operation of manufacturing

[33] Takagi R., Goodman C.J., Roberts C., (2003) "*Modelling passenger flows at a transport interchange using Petri nets*", Proceedings of the Institution of Mechanical Engineers, Part

[34] Tolba C., D. Lefebvre, Thomas P., El Moudni A., (2005) "Continuous and timed Petri nets for the macroscopic and microscopic traffic flow control", *Simulation Modelling* 

systems", *European Journal of Control,* Vol. 3, No. 3, pp. 182-199.

F: Journal of Rail and Rapid Transit, Vol. 217, No. 2, pp. 125-134.

MOSIM'10, 10 au 12 mai 2010 - Hammamet – Tunisie.

*Review*, Vol. 47, No.2, pp. 284–294.

nets", *John Wiley and Sons Edition*.

Vol. 77, No. 4, pp. 541-580.

639-669.

159–167.

*Industrial Engineering xxx (2011) xxx–xxx*.

*and Solution Approaches*", Working paper.

*Practice and Theory,* Vol. 13, No. 5, pp. 407-436.

appear)


variables) », *8th ENIM IFAC International Conference of Modeling and Simulation*, MOSIM'10, 10 au 12 mai 2010 - Hammamet – Tunisie.

[20] Labadi, K., Benarbia, T., Darcherif, M., and Chayet, M., (2012) "Modelling and Control of Self-Service Public Bicycle Systems by Using Petri Nets", *International Journal of Modelling, Identification and Control*, Vol. x, No. x, xxxx Vol. x, No. x, 2012 (accepted, to appear)

490 Petri Nets – Manufacturing and Computer Science

pp. 224-237.

6, pp. 1287-1302.

scharing system", *Working paper, 2011.*

*Transportation Quarterly,* Vol. 57, No.1, pp. 9–11.

*Journal of Public Transportation*, Vol. 12, No.4, pp. 41-56.

*Analysis* (TRISTAN 2010), Tromso, Norway, pp. 279-282.

*Systems and Humans,* Vol. 40, No. 4, pp. 686 – 697.

*Chain Modelling,* Vol. 2, No. ¾, pp.188-215.

*Community and Social Applications of Networked Sensing Systems.*

controller" *Transportation Research, part. C*, Vol. 4, No. 4, pp. 231–248.

[4] Bouyekhf R., Abbas-Turki A., Grunder O., El Moudni A., (2003) "Modelling, performance evaluation and planning of public transport systems using generalized

[5] Chemla, D., Meunier, F., Wolfler-Calvo, R., "Balancing the stations of a self-service bike

[6] Chen H., Amodeo L., Chu F., and Labadi K., (2005)"Performance evaluation and optimization of supply chains modelled by Batch deterministic and stochastic Petri net", *IEEE transactions on Automation Science and Engineering*, Vol. 2, No. 2, pp. 132-144. [7] Dell'Olio, L., Ibeas, A., Moura, J.-L, (2011) "*Implementing bike-sharing systems"*, Proceedings of the ICE-Municipal Engineer, Volume 164, Issue 2, pp. 89 –101 [8] DeMaio, P., (2003). "Smart Bicycles: Public transportation for the 21st century",

[9] DeMaio, P., (2009) "Bicycle-sharing: History, Impacts, Model of Provision, and Future",

[10] Demongodin I., (2009) "Modelling and Analysis of Transportation Networks using Batches Petri Nets with controllable Batch Speed", *in Proc. 30th Int. Conf. Applications* 

[11] Di Febrarro, A., Giglio, D., Sacco, N., (2004) "Urban traffic control structure based on hybrid Petri nets", *IEEE Transactions on Intelligent Transportation systems,* Vol. 5, No. 4,

[12] Forma, I.; Raviv, T.; Tzur, M., (2010), "The Static Repositioning Problem in a Bike-Sharing System", *In the proceeding of the 7th Treinnial Symposium on Transportation* 

[13] Froehlich, J., Neumann, J. & Oliver, N. (2009), "Sensing and Predicting the Pulse of the City through Shared Bicycling", *Proceedings of the International Workshop on Urban",* 

[14] Gallego J.L., Farges J.L., Henry J.J., (1996) "Design by Petri nets of an intersection signal

[15] Júlvez J., Boel R.K., (2010) "A continuous Petri net approach for model predictive control of traffic systems" *IEEE Transactions on Systems, Man, and Cybernetics, Part A:* 

[16] Kaltenbrunner, A., Meza, R., Grivolla, J., Condina, J. & Banchs, R. (2010), "Urban cycles and mobility patterns: Exploring and predicting trends in a bicycle-based public

[17] Labadi K., Chen H., Amodeo L., (2007) "Modelling and Performance Evaluation of Inventory Systems using Batch deterministic and stochastic Petri nets", *IEEE Transactions on Systems, man and Cybernetics, Part C: Applications and review,* Vol. 37, No.

[18] Labadi, K. and Chen, H., (2010) "Modelling, analysis, and optimisation of supply chains by using Petri net models: the state-of-the-art", *Int. J. Business Performance and Supply* 

[19] Labadi, K., Benarbia, T., Darcherif, M., (2010) « Sur la régulation des systèmes de vélos en libre-service : approche basée sur les réseaux de Petri (avec des arcs a poids

transport system", *Pervasive and Mobile Computing*, Vol.6, No.4, pp. 455–466.

*and Theory of Petri Nets, Giuliana Franceschinis, Karsten Wolf, Ed. Paris, France*.

stochastic Petri nets", *Transport reviews,* Vol. 23, No. 1, pp.51-69.


492 Petri Nets – Manufacturing and Computer Science

*systems*". Proceedings of 12th WCTR.

pp. 391–400.

Vol. 20, pp. 514–523.

225

[35] Tzes A., Seongho K., and McShane W. R., (1996) "Application of Petri networks to transportation network modeling" *IEEE Transactions on Vehicular Technology*, Vol. 45,

[36] Uesugi K., Mukai, N., and Watanabe T., (2007) "Optimization of Vehicle Assignment for Car Sharing System", *Lecture Notes in Computer Science, Knowledge-Based Intelligent* 

[37] Vogel, P., & Mattfeld, D. (2010). "*Modeling of repositioning activities in bike-sharing* 

[38] Vogel, P., Greisera, T., Mattfelda, D., (2011) "Understanding Bicycle-Sharing Systems using Data Mining: Exploring Activity Patterns", *Procedia Social and Behavioral Sciences*,

[39] Wang Shang, Zhang Jiangman; Liu Liang, Duan Zheng-yu (2010),"Bike-Sharing-A new public transportation mode: State of the practice & prospects", *IEEE International Conference on Emergency Management and Management Sciences,* (ICEMMS 2010), pp. 222-

[40] Zhou Mengchu and Kurapati Venkatesh., (1999) "Modeling, simulation, and control of flexible manufacturing systems: A Petri net approach", Vol. 6 of Series in Intelligent

[41] Zhou MengChu, and DiCesare Frank., (1993) "Petri net synthesis for discrete control of

[42] Zurawski, R., and Zhou Mengchu., (1994) "Petri nets and industrial applications: A tutorial", *IEEE Transactions on Industrial Electronics,* Vol. 41, No. 6, pp. 567-583*.*

*Information and Engineering Systems*, Vol. 4693/2007, pp. 1105-1111.

Control and Intelligent Automation, World Scientific.

manufacturing systems", *Kluwer Academic Publishers*.
