L. Valda, J. Leite, R. Almeida, e J. Oliveira, Fire Fighting System Modeling in Oil and Gas Waterway Terminal Based on Colored Petri Nets (96-105), JETIA, vol. 3, nº 11, set. 2017.