An approach towards the development life-cycle of agent-based production control applications

Author

Leitão, Paulo ; Colombo, Armando W.

Author_Institution

Polytech. Inst. of Braganca

Volume

1

fYear

2005

fDate

19-22 Sept. 2005

Lastpage

640

Abstract

This paper discusses a new approach to the development life-cycle of agent-based production control applications, from the design to the operation, based in a catalogue of high-level Petri nets. The high-level Petri net-based approach facilitates the conception, definition and formal specification of an "encapsulation process" in industrial production systems. The catalogue includes elements for the identification of manufacturing components, the development of agent-based control units, the formal validation of the models and the formal specification of complete collaborative automation scenarios

Keywords

Petri nets; formal specification; formal verification; intelligent control; intelligent manufacturing systems; production control; software agents; agent-based production control application development life-cycle; collaborative automation scenario; formal specification; formal validation; high-level Petri net-based approach; industrial production system; manufacturing component identification; Electrical equipment industry; Encapsulation; Formal specifications; Manufacturing automation; Manufacturing industries; New products catalog; Petri nets; Production control; Production systems; Virtual manufacturing;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on

Conference_Location

Catania

Print_ISBN

0-7803-9401-1

Type

conf

DOI

10.1109/ETFA.2005.1612582

Filename

1612582