A formal validation approach for holonic control system specifications

P. Leitão; A. W. Colombo; F. Restivo

doi:10.1109/ETFA.2003.1247707

A formal validation approach for holonic control system specifications

P. Leitão, A. W. Colombo, F. Restivo

Research output: Contribution to journal › Conference article › peer-review

3 Citations (Scopus)

Abstract

The holonic manufacturing paradigm allows a new approach to the emergent requirements faced by the manufacturing world, through the concepts of modularity, decentralisation, autonomy, re-use of control software components. The formal modelling and validation of the structural and behavioural specifications of holonic control systems assumes a critical role. This paper discusses the formal validation of the Petri Net models designed to represent the behaviour and specifications of the holon classes defined at ADACOR architecture.

Original language	English
Article number	1247707
Pages (from-to)	203-210
Number of pages	8
Journal	IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
Volume	1
Issue number	January
DOIs	https://doi.org/10.1109/ETFA.2003.1247707
Publication status	Published - 2003
Externally published	Yes
Event	2003 IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2003 - Lisbon, Portugal Duration: 16 Sept 2003 → 19 Sept 2003

Access to Document

10.1109/ETFA.2003.1247707

Cite this

@article{fb71cf451405452a867ea02928d085dc,

title = "A formal validation approach for holonic control system specifications",

abstract = "The holonic manufacturing paradigm allows a new approach to the emergent requirements faced by the manufacturing world, through the concepts of modularity, decentralisation, autonomy, re-use of control software components. The formal modelling and validation of the structural and behavioural specifications of holonic control systems assumes a critical role. This paper discusses the formal validation of the Petri Net models designed to represent the behaviour and specifications of the holon classes defined at ADACOR architecture.",

author = "P. Leit{\~a}o and Colombo, {A. W.} and F. Restivo",

note = "Publisher Copyright: {\textcopyright} 2003 IEEE. Copyright: Copyright 2015 Elsevier B.V., All rights reserved.; 2003 IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2003 ; Conference date: 16-09-2003 Through 19-09-2003",

year = "2003",

doi = "10.1109/ETFA.2003.1247707",

language = "English",

volume = "1",

pages = "203--210",

journal = "IEEE International Conference on Emerging Technologies and Factory Automation, ETFA",

issn = "1946-0740",

number = "January",

}

TY - JOUR

T1 - A formal validation approach for holonic control system specifications

AU - Leitão, P.

AU - Colombo, A. W.

AU - Restivo, F.

PY - 2003

Y1 - 2003

N2 - The holonic manufacturing paradigm allows a new approach to the emergent requirements faced by the manufacturing world, through the concepts of modularity, decentralisation, autonomy, re-use of control software components. The formal modelling and validation of the structural and behavioural specifications of holonic control systems assumes a critical role. This paper discusses the formal validation of the Petri Net models designed to represent the behaviour and specifications of the holon classes defined at ADACOR architecture.

AB - The holonic manufacturing paradigm allows a new approach to the emergent requirements faced by the manufacturing world, through the concepts of modularity, decentralisation, autonomy, re-use of control software components. The formal modelling and validation of the structural and behavioural specifications of holonic control systems assumes a critical role. This paper discusses the formal validation of the Petri Net models designed to represent the behaviour and specifications of the holon classes defined at ADACOR architecture.

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

U2 - 10.1109/ETFA.2003.1247707

DO - 10.1109/ETFA.2003.1247707

M3 - Conference article

AN - SCOPUS:84887033276

SN - 1946-0740

VL - 1

SP - 203

EP - 210

JO - IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

JF - IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

IS - January

M1 - 1247707

T2 - 2003 IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2003

Y2 - 16 September 2003 through 19 September 2003

ER -

A formal validation approach for holonic control system specifications

Abstract

Access to Document

Other files and links

Fingerprint

Cite this