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