A tool for tailored code generation from Petri net models. - Rui Pais; S. P. Barros; Luís Gomes 001 (ETFA, 2005)