In: LNCS 2252: Active Media Technology, pages 182-pp. 6th International Computer Science Conference, AMT 2001, Hong Kong, China, December 18-20, 2001. Proceedings / J. Liu, P.C. Yuen, C.-H. Li, J. Ng, T. Ishida (Eds.) --- Springer Verlag, December 2001.
Abstract: We introduce the notions of decentralized system structure of multi-agent systems, their behavioral and structural correctness, and centralized and decentralized control for attaining correct behavior, and also that of decentralized controllability which are then examined based on modal logical analysis of system behavior and Petri net representation of system structures.