Modelagem, verificação formal e codificação de sistemas reativos autônomos. - Ruiter Braga Caldas (2009)

RPOIA: A Method of Selecting Learning Objects Using Petri Nets. - Joethe Moraes de Carvalho; Josias Gomes Lima; José Francisco de Magalhães Netto; Ruiter Braga Caldas (FIE, 2020)