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