Publications

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(s)

Unland, R; Ulieru, M; Weaver, C

Document Type

Proceedings Paper

Year published

2003

Published

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

Pages: 263-272 (10)

Conference

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

Indexing