Bigraphical Reactive Systems Based on Nested Sortings
基于嵌套赋类的Bigraph反应系统模型

Nested sorting based bigraphical reactive systems are extended model of bigraph theory in order to characterize nesting relation of controls of place graph n bigraphical reactive systems.The definition of nesting place graph was given by a signature category Scat(K).And then,some characters especially the construction of relative pushout and consistent conditions of idem pushout in nesting place graphs were presented.Furthermore,proofs of corresponding propositions and theorem were given.