摘要：For the networked system composed of manyembedded devices, the design of agent based control system mayimplement “Control on Demand”. The existing modelingapproach using formal languages has two shortcomings. Firstlyit is difficult to get perfect formal model of agent based control.Secondly it is difficult to get real software agents. So wecombine the advantages of UML and hierarchical colouredPetri Nets, and present a modeling methodology of agent basedcontrol for embedded networked system. After modeling staticstructure and dynamic behaviour of the system, we set up themapping relation from UML model to Petri Nets model basedon UML class diagram, collaboration diagram and statediagram, and get the corresponding Petri Nets model. Thedynamic characteristic of the model is verified, the validatedUML model is gotten, so as to get correct software codeframework.
关键词：agent based control ； networked system ；;embedded system；UML language；hierarchical colored Petri;Nets
