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

Resultado de pesquisa: Capítulo de Livro/Relatório/Atas de conferência › Atas de conferência

Idioma original	Inglês
Título da publicação do anfitrião	First IEEE International Conference on Industrial Information (INDIN’03)
Estado da publicação	Publicado - 2003

Citação

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

}