Nunes, Ricardo F. (2008) Editor de Redes de Petri suportando especificações hierárquicas e modulares. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.