Publications

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

AuthID
P-00G-SWT

Author(s)

Leitão, P

Colombo, AW

Restivo, F

Schoop, R

Editor(s)

Unland R.Weaver A.C.Ulieru M.

Document Type

Proceedings Paper

Year published

2003

Published

in IEEE International Conference on Industrial Informatics (INDIN), ISSN: 1935-4576

Volume: 2003-January, Pages: 263-272

Conference

Ieee International Conference on Industrial Informatics, Indin 2003, Date: 21 August 2003 through 24 August 2003, Sponsors: et al.;iCore;IEEE ies;Phoenix Contact;Schneider Electric;University of Virginia

Indexing

Scopus^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/indin.2003.1300278

Scopus: 2-s2.0-84944679071

Source Identifiers

ISSN: 1935-4576

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

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

Useful Links

Get Help

Federated Authentication (Click on the image)

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

Useful Links

Get Help