publicações selecionadas artigo académico Formal specification of holonic control system ADACOR product holon, using high-level Petri nets. Indin 2003: Ieee International Conference on Industrial Informatics, Proceedings. 2003