Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets

Paulo Leitão; Armando W. Colombo; Francisco Restivo; Ronald Schoop

doi:10.1109/INDIN.2003.1300278

Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets

Paulo Leitão
, Armando W. Colombo
, Francisco Restivo
, Ronald Schoop

Resultado de pesquisa › revisão de pares

5 Citações (Scopus)

Resumo

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.

Idioma original	English
Título da publicação do anfitrião	Proceedings - IEEE International Conference on Industrial Informatics, INDIN 2003
Editores	Rainer Unland, Alfred C. Weaver, Mihaela Ulieru
Editora	Institute of Electrical and Electronics Engineers Inc.
Páginas	263-272
Número de páginas	10
ISBN (eletrónico)	0780382005
DOIs	https://doi.org/10.1109/INDIN.2003.1300278
Estado da publicação	Publicado - 2003
Publicado externamente	Sim
Evento	IEEE International Conference on Industrial Informatics, INDIN 2003 - Banff Duração: 21 ago. 2003 → 24 ago. 2003

Série de publicação

Nome	IEEE International Conference on Industrial Informatics (INDIN)
Volume	2003-January
ISSN (impresso)	1935-4576

Conferência

Conferência	IEEE International Conference on Industrial Informatics, INDIN 2003
País/Território	Canada
Cidade	Banff
Período	21/08/03 → 24/08/03

ODS da ONU

Este resultado contribui para o(s) seguinte(s) Objetivo(s) de Desenvolvimento Sustentável

ODS 9 Indústria, inovação e infraestrutura

Acesso ao documento

10.1109/INDIN.2003.1300278

Outros arquivos e links

Link to publication in Scopus

Citação

Leitão, P., Colombo, A. W., Restivo, F., & Schoop, R. (2003). Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets. Em R. Unland, A. C. Weaver, & M. Ulieru (Eds.), Proceedings - IEEE International Conference on Industrial Informatics, INDIN 2003 (pp. 263-272). Artigo 1300278 (IEEE International Conference on Industrial Informatics (INDIN); Vol. 2003-January). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/INDIN.2003.1300278

Leitão, Paulo ; Colombo, Armando W. ; Restivo, Francisco et al. / Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets. Proceedings - IEEE International Conference on Industrial Informatics, INDIN 2003. editor / Rainer Unland ; Alfred C. Weaver ; Mihaela Ulieru. Institute of Electrical and Electronics Engineers Inc., 2003. pp. 263-272 (IEEE International Conference on Industrial Informatics (INDIN)).

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

}

Leitão, P, Colombo, AW, Restivo, F & Schoop, R 2003, Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets. em R Unland, AC Weaver & M Ulieru (eds), Proceedings - IEEE International Conference on Industrial Informatics, INDIN 2003., 1300278, IEEE International Conference on Industrial Informatics (INDIN), vol. 2003-January, Institute of Electrical and Electronics Engineers Inc., pp. 263-272, IEEE International Conference on Industrial Informatics, INDIN 2003, Banff, Canada, 21/08/03. https://doi.org/10.1109/INDIN.2003.1300278

Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets. / Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco et al.
Proceedings - IEEE International Conference on Industrial Informatics, INDIN 2003. ed. / Rainer Unland; Alfred C. Weaver; Mihaela Ulieru. Institute of Electrical and Electronics Engineers Inc., 2003. p. 263-272 1300278 (IEEE International Conference on Industrial Informatics (INDIN); Vol. 2003-January).

Resultado de pesquisa › revisão de pares

TY - GEN

T1 - Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets

AU - Leitão, Paulo

AU - Colombo, Armando W.

AU - Restivo, Francisco

AU - Schoop, Ronald

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

KW - Coloured Petri nets

KW - Flexible manufacturing systems

KW - Formal specification

KW - Holonic manufacturing systems

KW - Modelling

UR - https://www.scopus.com/pages/publications/84944679071

U2 - 10.1109/INDIN.2003.1300278

DO - 10.1109/INDIN.2003.1300278

M3 - Conference contribution

AN - SCOPUS:84944679071

T3 - IEEE International Conference on Industrial Informatics (INDIN)

SP - 263

EP - 272

BT - Proceedings - IEEE International Conference on Industrial Informatics, INDIN 2003

A2 - Unland, Rainer

A2 - Weaver, Alfred C.

A2 - Ulieru, Mihaela

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - IEEE International Conference on Industrial Informatics, INDIN 2003

Y2 - 21 August 2003 through 24 August 2003

ER -

Leitão P, Colombo AW, Restivo F, Schoop R. Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets. Em Unland R, Weaver AC, Ulieru M, editores, Proceedings - IEEE International Conference on Industrial Informatics, INDIN 2003. Institute of Electrical and Electronics Engineers Inc. 2003. p. 263-272. 1300278. (IEEE International Conference on Industrial Informatics (INDIN)). doi: 10.1109/INDIN.2003.1300278

Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets

Resumo

Série de publicação

Conferência

ODS da ONU

Acesso ao documento

Outros arquivos e links

Impressão digital

Citação