论文部分内容阅读
System behavior description using states faces problems like state explosion, lack of clear definition of state, state identification and coordination between multiple agents. The goals of this work are to ease design activity, to reduce engineering effor