Formal modeling the low-level interaction between holons

Authors:
Valentin Vlad;Adrian Graur;Calin Ciufudean;Constantin Filote
Affiliations:
Electrical Engineering and Computer Science Department, University of Suceava, Suceava, Romania;Electrical Engineering and Computer Science Department, University of Suceava, Suceava, Romania;Electrical Engineering and Computer Science Department, University of Suceava, Suceava, Romania;Electrical Engineering and Computer Science Department, University of Suceava, Suceava, Romania
Venue:
ICS'09 Proceedings of the 13th WSEAS international conference on Systems
Year:
2009

Citing 3
Cited 1

IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design

IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design
Experience with holonic and agent-based control systems and their adoption by industry

HoloMAS'05 Proceedings of the Second international conference on Holonic and Multi-Agent Systems for Manufacturing
Designing communication protocols for holonic control devices using elementary nets

HoloMAS'05 Proceedings of the Second international conference on Holonic and Multi-Agent Systems for Manufacturing

A comparative analysis of rotor flux simulators and observers

ACMOS'10 Proceedings of the 12th WSEAS international conference on Automatic control, modelling & simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper is focused on formal modeling of low-level interaction between holons. Using as formal methods the Place/Transition nets and Net Condition/Event systems (NCESs) we have developed some models for a communication and control mechanism between three production facilities sharing a common resource. The resource is represented by a shared route area on which each production facility delivers its ready pallets and the control mechanism has to assure the correct access to this route in order to avoid the collision of pallets.