Designing Communication Protocols for Holonic Control Devices Using Elementary Nets
A difficulty encountered when developing Holonic Manufacturing Systems (HMSs) is the need to place some or all of the intelligence associated with a holon on a small, low-powered device that has real-time constraints. This requirement must be balanced with the need to communicate with such a holon using standard, open, and sophisticated protocols. A possible solution is to split the functionality into two parts with a lightweight sub-holon on the device and an associated high-level sub-holon on a remote server. However a key difficulty is ensuring that the communication protocol between the two sub-holons is robust and reliable, while still allowing all the flexibility that is required in these types of applications. This paper explores the use of Elementary Net Systems as a basis for the specification of the communication and demonstrates that this provides a simple and robust basis for designing correct communication protocols in the case where communication is via a shared data table, such as the memory on an RFID tag.
Unable to display preview. Download preview PDF.
- 1.Bacon, J., Harris, T.: Operating Systems: Concurrent and Distributed Software Design. Addison Wesley, Reading (2003)Google Scholar
- 2.Boucher, T.O.: Computer Automation in Manufacturing: An introduction. Chapman & Hall, Boca Raton (1996)Google Scholar
- 3.Brennan, R.W., Hall, K., Mařík, V., Maturana, F., Norrie, D.H.: A real-time interface for holonic control devices. In: Mařík et al. , pp. 25–34Google Scholar
- 4.Brusey, J., Fletcher, M., Harrison, M., Thorne, A., Hodges, S., McFarlane, D.: Auto-ID based control demonstration - phase 2: Pick and place packing with holonic control. Technical report, Auto-ID Centre, Cambridge University (2003)Google Scholar
- 5.Brusey, J., Fletcher, M., McFarlane, D., Thorne, A.: A Petri net compiler for programmable logic controllers. To appear in IEEE Trans. on Automatic Control (2005)Google Scholar
- 6.Christos, G.: Cassandras and Stéphane Lafortune. In: Introduction to Discrete Event Systems, Kluwer Academic Publishers, Dordrecht (1999)Google Scholar
- 8.Frey, G.: Automatic implementation of Petri net based control algorithms on PLC. In: Proc. 2000 American Control Conference, Chicago, IL, June 28-30, vol. 4, pp. 2819–2823 (2000)Google Scholar
- 9.Leitão, P., Boissier, R., Casis, F., Restivo, F.: Integration of automation resources in holonic manufacturing applications. In: Mařík et al. , pp. 35–46Google Scholar
- 10.Leitão, P., Colombo, A.W., Restivo, F.: An approach to the formal specification of holonic control systems. In: Mařík et al. , pp. 59–70Google Scholar
- 12.McFarlane, D.C., Bussmann, S.: Holonic manufacturing control: Rationales, developments and open issues. In: Deen, S.M. (ed.) Agent-Based Manufacturing, ch. 13, pp. 303–326. Springer, Berlin (2003)Google Scholar