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

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

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

Cite this

@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)",

}