%0 Journal Article
%T Asymmetric Choice Net Synthesis Shared Subnet and its Applications in System Modeling<br>非对称选择网类共享子网合成及其在系统建模中的应用
%A XIA Chuan-Liang
%A <br>夏传良
%J 计算机科学
%D 2007
%I 
%X A scheme is obtained using synthesis of asymmetric choice nets shareda kind of subnet,in order to solve subsystem-shared problem in system modeling. The properties of synthesis Petri nets are studied. The sufficient conditions or sufficient and necessary conditions of property preservation by shared subnet are obtained, such as structural boundedness and structural liveness. These results are useful for studying the properties of Petri synthesis nets,establishingmodels for large complex system. The synthesis method, whitch is practical to use in reality, suit to model and analysize some kind of system.
%K Petri nets
%K Synthesis
%K Structural liveness
%K Structural boundedness
%K System modeling<br>Petri网
%K 合成
%K 结构活性
%K 结构有界性
%K 系统建模
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=B54541B8772FFD961A58DE7B9600444D&yid=A732AF04DDA03BB3&vid=339D79302DF62549&iid=B31275AF3241DB2D&sid=6826CBE9C80ACB20&eid=B4E8EA49DAAEB84F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=12