A formal specification approach for holonic control systems: the ADACOR case

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

doi:10.1504/ijmtm.2006.008790

A formal specification approach for holonic control systems: the ADACOR case

Paulo Leitão^*, Armando W. Colombo, Francisco Restivo

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

13 Citations (Scopus)

Abstract

Distributed manufacturing control systems, such as Holonic Control Systems (HCSs), are difficult to apprehend and to design, due to the presence of many autonomous, concurrent and asynchronous activities. A formal specification methodology allowing to understand, to synthesise the system specifications and to validate the correctness of their models would play a key role in its design and later in its implementation. This paper presents an approach to the formal specification of HCSs based on high-level Petri nets. The proposed approach is tested in the specification of the ADACOR HCS.

Original language	English
Pages (from-to)	37-57
Number of pages	21
Journal	International Journal of Manufacturing Technology and Management
Volume	8
Issue number	1-3
DOIs	https://doi.org/10.1504/ijmtm.2006.008790
Publication status	Published - 2006
Externally published	Yes

Keywords

Flexible manufacturing systems
Intelligent manufacturing control
Modelling
Petri nets

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1504/ijmtm.2006.008790

Cite this

@article{9da039ef1100476c9d0848af873cea3b,

title = "A formal specification approach for holonic control systems: the ADACOR case",

abstract = "Distributed manufacturing control systems, such as Holonic Control Systems (HCSs), are difficult to apprehend and to design, due to the presence of many autonomous, concurrent and asynchronous activities. A formal specification methodology allowing to understand, to synthesise the system specifications and to validate the correctness of their models would play a key role in its design and later in its implementation. This paper presents an approach to the formal specification of HCSs based on high-level Petri nets. The proposed approach is tested in the specification of the ADACOR HCS.",

keywords = "Flexible manufacturing systems, Intelligent manufacturing control, Modelling, Petri nets",

author = "Paulo Leit{\~a}o and Colombo, {Armando W.} and Francisco Restivo",

year = "2006",

doi = "10.1504/ijmtm.2006.008790",

language = "English",

volume = "8",

pages = "37--57",

journal = "International Journal of Manufacturing Technology and Management",

issn = "1368-2148",

publisher = "Inderscience Enterprises Ltd",

number = "1-3",

}

TY - JOUR

T1 - A formal specification approach for holonic control systems

T2 - the ADACOR case

AU - Leitão, Paulo

AU - Colombo, Armando W.

AU - Restivo, Francisco

PY - 2006

Y1 - 2006

N2 - Distributed manufacturing control systems, such as Holonic Control Systems (HCSs), are difficult to apprehend and to design, due to the presence of many autonomous, concurrent and asynchronous activities. A formal specification methodology allowing to understand, to synthesise the system specifications and to validate the correctness of their models would play a key role in its design and later in its implementation. This paper presents an approach to the formal specification of HCSs based on high-level Petri nets. The proposed approach is tested in the specification of the ADACOR HCS.

AB - Distributed manufacturing control systems, such as Holonic Control Systems (HCSs), are difficult to apprehend and to design, due to the presence of many autonomous, concurrent and asynchronous activities. A formal specification methodology allowing to understand, to synthesise the system specifications and to validate the correctness of their models would play a key role in its design and later in its implementation. This paper presents an approach to the formal specification of HCSs based on high-level Petri nets. The proposed approach is tested in the specification of the ADACOR HCS.

KW - Flexible manufacturing systems

KW - Intelligent manufacturing control

KW - Modelling

KW - Petri nets

UR - http://www.scopus.com/inward/record.url?scp=33845655537&partnerID=8YFLogxK

U2 - 10.1504/ijmtm.2006.008790

DO - 10.1504/ijmtm.2006.008790

M3 - Article

AN - SCOPUS:33845655537

SN - 1368-2148

VL - 8

SP - 37

EP - 57

JO - International Journal of Manufacturing Technology and Management

JF - International Journal of Manufacturing Technology and Management

IS - 1-3

ER -

A formal specification approach for holonic control systems: the ADACOR case

Abstract

Keywords

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this