Publicações

Formal Specification of Holonic Control System Adacor Product Holon, Using High-Level Petri Nets

AuthID
P-000-JVQ

Author(s)

Leitao, P

Colombo, AW

Restivo, F

Schoop, R

Editor(es)

Unland, R; Ulieru, M; Weaver, C

Tipo de Documento

Proceedings Paper

Year published

2003

Publicado

in INDIN 2003: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, PROCEEDINGS

Páginas: 263-272 (10)

Conference

Ieee International Conference on Industrial Informatics (Indin 2003), Date: AUG 21-24, 2003, Location: Banff, CANADA, Patrocinadores: IEEE, ICO, I Core, Phoenix Contact, Schneider Elect, Univ Virginia, Allen-Bradley, Rockwell Automat, Univ Calgary, Univ Duisburg-Essen

Indexing