selected publications
-
academic article
- Formal specification of holonic control system ADACOR product holon, using high-level Petri nets. Indin 2003: Ieee International Conference on Industrial Informatics, Proceedings. 263-272. 2003