Designing Communication Protocols for Holonic Control Devices Using Elementary Nets

  • James Brusey
  • Duncan McFarlane
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3593)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bacon, J., Harris, T.: Operating Systems: Concurrent and Distributed Software Design. Addison Wesley, Reading (2003)Google Scholar
  2. 2.
    Boucher, T.O.: Computer Automation in Manufacturing: An introduction. Chapman & Hall, Boca Raton (1996)Google Scholar
  3. 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. [11], pp. 25–34Google Scholar
  4. 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. 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. 6.
    Christos, G.: Cassandras and Stéphane Lafortune. In: Introduction to Discrete Event Systems, Kluwer Academic Publishers, Dordrecht (1999)Google Scholar
  7. 7.
    Esparza, J.: Reachability in live and safe free-choice Petri nets is NP-complete. Theoretical Computer Science 198(1-2), 211–224 (1998)MATHCrossRefMathSciNetGoogle Scholar
  8. 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. 9.
    Leitão, P., Boissier, R., Casis, F., Restivo, F.: Integration of automation resources in holonic manufacturing applications. In: Mařík et al. [11], pp. 35–46Google Scholar
  10. 10.
    Leitão, P., Colombo, A.W., Restivo, F.: An approach to the formal specification of holonic control systems. In: Mařík et al. [11], pp. 59–70Google Scholar
  11. 11.
    Gruver, W.A., Kotak, D.B., van Leeuwen, E.H., Norrie, D.H.: Holonic manufacturing systems: Phase II. In: Mařík, V., McFarlane, D.C., Valckenaers, P. (eds.) HoloMAS 2003. LNCS (LNAI), vol. 2744, pp. 1–14. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  12. 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
  13. 13.
    Moody, J.O., Antsaklis, P.J.: Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers, Dordrecht (1998)MATHGoogle Scholar
  14. 14.
    Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  15. 15.
    Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77(1), 81–98 (1989)CrossRefGoogle Scholar
  16. 16.
    Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol. 1491. Springer, Heidelberg (1998)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • James Brusey
    • 1
  • Duncan McFarlane
    • 1
  1. 1.Institute for ManufacturingCambridge UniversityCambridgeUK

Personalised recommendations