publicações selecionadas artigo de conferência Coalition Structure Formation using Parallel Dynamic Programming 2018 Petri Net based modelling of railway intersection collision avoidance system 2016