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