LIMA, Ricardo Massa Ferreira; LINS, Rafael Dueire. Translating HCL Programs into Petri Nets. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 14. , 2000, João Pessoa/PB. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2000 . p. 147-162. DOI: https://doi.org/10.5753/sbes.2000.25926.