{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:49:20Z","timestamp":1782877760903,"version":"3.54.5"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T00:00:00Z","timestamp":1443657600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/tase.2014.2336874","type":"journal-article","created":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T20:57:19Z","timestamp":1406840239000},"page":"1380-1395","source":"Crossref","is-referenced-by-count":45,"title":["Stochastic Petri Net Modeling, Simulation and Analysis of Public Bicycle Sharing Systems"],"prefix":"10.1109","volume":"12","author":[{"given":"Karim","family":"Labadi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Taha","family":"Benarbia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Pierre","family":"Barbot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Samir","family":"Hamaci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Abdelhafid","family":"Omari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.apm.2011.12.032"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s13676-012-0017-6"},{"key":"ref33","author":"marsan","year":"1995","journal-title":"Modelling with Generalized Stochastic Petri Nets"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/32.29483"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/3-540-18086-9_23","volume":"lncs 266","author":"marsan","year":"1987","journal-title":"Lecture Notes in Computer Science"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2004.833763"},{"key":"ref37","first-page":"639","article-title":"Performance analysis of a bus network based on Petri nets and (<formula formulatype=\"inline\"><tex Notation=\"TeX\">$\\max$<\/tex> <\/formula>, <formula formulatype=\"inline\"><tex Notation=\"TeX\">$+$<\/tex> <\/formula>) algebra","volume":"43","author":"nait-sidi-moh","year":"2003","journal-title":"Int J Syst Sci"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1080\/01969720590897198"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1287\/trsc.1100.0347"},{"key":"ref34","volume":"6","author":"zhou","year":"1999","journal-title":"Series in Intelligent Control and Intelligent Automation"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.tre.2010.09.004"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2011.12.004"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2011.12.006"},{"key":"ref2","author":"banks","year":"2001","journal-title":"Discrete-Event System Simulation"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1080\/002077204123313623"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2041448"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6377(86)90028-3"},{"key":"ref21","article-title":"Stochastic Petri net and genetic algorithm for rebalancing of public bicycle-sharing systems","author":"kadri","year":"2013","journal-title":"43rd Int Conf Comput & Industrial Eng CIE43"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.905860"},{"key":"ref23","first-page":"465","author":"labadi","year":"2012","journal-title":"Petri Nets - Manufacturing and Computer Science"},{"key":"ref26","article-title":"Sur la r\ufffdgulation des syst\ufffdmes de v\ufffdlos en libre-service : Approche bas\ufffde sur les r\ufffdseaux de Petri","author":"labadi","year":"2010","journal-title":"8th ENIM IFAC Int Conf MOSIM'10"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1504\/IJBPSCM.2010.036199"},{"key":"ref50","article-title":"Modeling of repositioning activities in bike-sharing systems","author":"vogel","year":"2010","journal-title":"World Conf Transport Research (WCTR) 2010"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/41.334574"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.214828"},{"key":"ref11","author":"contardo","year":"2012","journal-title":"?Balancing a dynamic public bike-sharing system ?"},{"key":"ref40","author":"shu","year":"2007","journal-title":"?Bicycle-sharing system Deployment utilization and the value of re-distribution ?"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1680\/muen.2011.164.2.89"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02424-5_13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2004.04.008"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2004.838180"},{"key":"ref16","first-page":"279","article-title":"The static repositioning problem in a bike-sharing system","author":"forma","year":"2010","journal-title":"Proc TRISTAN VII 7th Triennial Symp Transport Analys"},{"key":"ref17","author":"fricker","year":"2012","journal-title":"?Incentives and regulations in bike-sharing systems with stations of finite capacity ?"},{"key":"ref18","article-title":"Measuring the pulse of the city through shared bicycle programs","author":"froehlich","year":"2008","journal-title":"Int Workshop Urban Community Social Appl Networked Sensing Syst UrbanSense"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0968-090X(96)00009-5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1051\/ro\/2011102"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1504\/IJMIC.2012.049685"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1080\/01441640309898"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1142\/S0219525911002950"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.disopt.2012.11.005"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.sbspro.2012.09.785"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.sbspro.2011.08.058"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2005.844537"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/25.492914"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0640-1"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1057\/palgrave.jors.2600063"},{"key":"ref47","author":"van der aalst","year":"1992","journal-title":"Timed coloured Petri nets and their application to logistics"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/S0947-3580(97)70077-3"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1287\/opre.2013.1215"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2005.01.001"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1243\/095440903765762869"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/7287835\/06869036.pdf?arnumber=6869036","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T15:59:04Z","timestamp":1642003144000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6869036\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":51,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tase.2014.2336874","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10]]}}}