%0 Journal Article
%T Bigraphical Reactive Systems Based on Nested Sortings<br>基于嵌套赋类的Bigraph反应系统模型
%A WU Huai-guang
%A JIN Bao-hua
%A GAN Yong
%A WU Guo-qing
%A <br>吴怀广
%A 金保华
%A 甘勇
%A 毋国庆
%J 计算机科学
%D 2012
%I 
%X 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.
%K Bigraph rcactivc systems
%K Ncstcd sorting
%K Rclativc push-out
%K Consistency<br>Bigraph反应系统
%K 嵌套赋类
%K 相关推出
%K 一致性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=75AFC294F2AFDCB1CBD940C176A28A17&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=9CF7A0430CBB2DFD&sid=475189FCB44F11F6&eid=70AC2EF7F2065E09&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0