Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets - Leitão, Paulo (2010)
Indexado ISI