Prediction Model Using Coverability Tree from a Modeling in Petri Nets Applied in AGVs Dispatching. - Vinicius F. Carida; Orides Morandin; Paulo R. Cerioni; Carlos C. M. Tuma (BRACIS, 2014)