Formal specification of Holonic control system ADACOR, using high-level Petri Nets

Original language	English
Title of host publication	First IEEE International Conference on Industrial Information (INDIN’03)
Publication status	Published - 2003

Cite this

• APA
• Author
• BIBTEX
• Harvard
• Standard
• RIS
• Vancouver

Leitão, P., Colombo, W., Restivo, F., & Schoop, R. (2003). Formal specification of Holonic control system ADACOR, using high-level Petri Nets. In First IEEE International Conference on Industrial Information (INDIN’03)

Leitão, P. ; Colombo, W. ; Restivo, Francisco et al. / Formal specification of Holonic control system ADACOR, using high-level Petri Nets. First IEEE International Conference on Industrial Information (INDIN’03). 2003.

@inproceedings{11f7b57efec146fb870296cf531d792b,

title = "Formal specification of Holonic control system ADACOR, using high-level Petri Nets",

author = "P. Leit{\~a}o and W. Colombo and Francisco Restivo and R. Schoop",

year = "2003",

language = "English",

booktitle = "First IEEE International Conference on Industrial Information (INDIN{\textquoteright}03)",

}

Leitão, P, Colombo, W, Restivo, F & Schoop, R 2003, Formal specification of Holonic control system ADACOR, using high-level Petri Nets. in First IEEE International Conference on Industrial Information (INDIN’03).

Formal specification of Holonic control system ADACOR, using high-level Petri Nets. / Leitão, P.; Colombo, W.; Restivo, Francisco et al.
First IEEE International Conference on Industrial Information (INDIN’03). 2003.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Formal specification of Holonic control system ADACOR, using high-level Petri Nets

AU - Leitão, P.

AU - Colombo, W.

AU - Restivo, Francisco

AU - Schoop, R.

PY - 2003

Y1 - 2003

M3 - Conference contribution

BT - First IEEE International Conference on Industrial Information (INDIN’03)

ER -

Leitão P, Colombo W, Restivo F, Schoop R. Formal specification of Holonic control system ADACOR, using high-level Petri Nets. In First IEEE International Conference on Industrial Information (INDIN’03). 2003