Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets

Indexado ISI

Bibliographic Details
Main Author: Leitão, Paulo (author)
Other Authors: Colombo, Armando W. (author), Restivo, Francisco (author), Schoop, Ronald (author)
Format: conferenceObject
Language:eng
Published: 2010
Subjects:
Online Access:http://hdl.handle.net/10198/1544
Country:Portugal
Oai:oai:bibliotecadigital.ipb.pt:10198/1544