Article Title,Year,Volume,Issue,Page Range,Author Freeway traffic modeling and control in a first-order hybrid petri net framework,2014,11,1,90-102,Fanti Stochastic petri net modeling simulation and analysis of public bicycle sharing systems,2015,12,4,1380-1395,Labadi