关键词: Bigraph反应系统，嵌套赋类，相关推出，一致性

Abstract: Nested sorting based bigraphical reactive systems are extended model of bigraph theory in order to character't- ze nesting relation of controls of place graph n bigraphical reactive systems. The definition of nesting place graph was given by a signature category S}}(为.And then, some characters especially the construction of relative pushout and con- sistent conditions of idem pushout in nesting place graphs were presented. Furthermore, proofs of corresponding propo- sitions and theorem were given.

Key words: Bigraph rcactivc systems, Ncstcd sorting, Rclativc push-out, Consistency