%0 Journal Article
%T Sharing Synthesis of Petri Net Systems via Preserving Liveness<br>共享合成Petri 网系统的活性保持性
%A PU Fei~
%A LU Wei-ming~
%A <br>蒲　飞
%A 陆维明
%J 系统工程理论与实践
%D 2005
%I 
%X The sharing synthesis process which can model the shared resource problem is a focus in this paper.Liveness preservation in sharing synthesis process for Petri net systems is stressed studied and the system concurrent behavior relation i.e.concurrent language relation in sharing synthesis of Petri net systems is also discussed.The language relation formula is presented,and it then can be applied to judge the liveness for the synthesized system.Moreover,a criterion is introduced,which is necessary and sufficient for liveness.Finally,under given conditions,the liveness of global system can be determined by the same property of local systems.
%K sharing synthesis
%K concurrent composition of paths
%K concurrent language
%K liveness preservation
%K well path<br>共享合成
%K 路径的并发合成
%K 并发语言
%K 活性保持性
%K 良径
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=962324E222C1AC1D&jid=1D057D9E7CAD6BEE9FA97306E08E48D3&aid=D8764098803AD257&yid=2DD7160C83D0ACED&vid=C5154311167311FE&iid=708DD6B15D2464E8&sid=09ABD5535D9B6D45&eid=46CB27789995047D&journal_id=1000-6788&journal_name=系统工程理论与实践&referenced_num=2&reference_num=14