In: Stephanou, H.E.; et al.: Proceedings of the IEEE International Symposium on Intelligent Control, 1988, Arlington, VA, USA, pages 28-33. Washington, DC, USA: IEEE Comput. Soc. Press, 1989.
Abstract: A model, called coordination structure, is defined based on the framework for coordination to describe mathematically the information structure and information flow in the coordination level of intelligent machines. A Petri net transducer is introduced to model the dispatcher and coordinators. The Petri net derived from the coordination structure underlies the precedence relationship of the information processing in the coordination level. It is shown that the liveness and boundedness of the entire coordination structure are guaranteed by the liveness and boundedness of the dispatcher and coordinators.
Keywords: coordination (of intelligent machines); information flow; net transducer; precedence relationship; liveness; boundedness.