For the most recent entries see the Petri Nets Newsletter.

A Model for Coordination of Intelligent Machines Using Petri Nets.

Wang, Fei Yue; Saridis, G.N.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography