@inproceedings{9faff69b76394d3b9fe7f75c251c41a8,
title = "Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets",
abstract = "Holonic manufacturing and multi-agent paradigms are suitable to support tbe actual challenges of flexible manufacturing systems, due to their decentralisation, modularity and autonomy features. The formal specification assumes a critical role in order to understand and synthesise those complex systems. The Petri Nets formalism is adequate to model and validate the dynamic behaviour, but present weak points when the system contains many instances of the same component, since the model grows (structure and components) in a non-controllable manner. The use of High-Level Petri Nets, allows to reduce this complexity, by compressing the representation of states, actions and events, to overcome the identified limitations and to support more complex and bigger coordination scenarios. This paper presents a formal specification of the ADACOR product holons using High-Level Petri Nets and the associated formal validation of the model.",
keywords = "Coloured Petri nets, Flexible manufacturing systems, Formal specification, Holonic manufacturing systems, Modelling",
author = "Paulo Leit{\~a}o and Colombo, {Armando W.} and Francisco Restivo and Ronald Schoop",
note = "Publisher Copyright: {\textcopyright} 2003 IEEE. Copyright: Copyright 2015 Elsevier B.V., All rights reserved.; IEEE International Conference on Industrial Informatics, INDIN 2003 ; Conference date: 21-08-2003 Through 24-08-2003",
year = "2003",
doi = "10.1109/INDIN.2003.1300278",
language = "English",
series = "IEEE International Conference on Industrial Informatics (INDIN)",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "263--272",
editor = "Rainer Unland and Weaver, {Alfred C.} and Mihaela Ulieru",
booktitle = "Proceedings - IEEE International Conference on Industrial Informatics, INDIN 2003",
address = "United States",
}
