%0 Journal Article
%T Reversibility Preservation in Synchronous Synthesis of Petri Net Systems<br>同步合成Petri 网系统可回复性的保持性
%A PU Fei~
%A LU Wei-ming~
%A <br>蒲　飞
%A 陆维明
%J 系统工程理论与实践
%D 2005
%I 
%X Petri net systems synthesis can construct large systems without the requirement of reachability analysis.In a synthesis process,certain good properties of local systems such as reversibility,liveness,deadlock-frteeness and so forth must be preserved for global system.This paper focus the reversibility preservation in a synchronous synthesis process.The systems dynamic,concurrent behavior i.e.concurrent language relation in a synchronous synthesis process is discussed.A new approach is presented which is based on the minimal reversible paths and their concurrent composition.Furthermore,a criterion which is necessary and sufficient for the reversibility of the resultant system is developed. In addition,conditions under which reversibility preservation for the synchronous synthesis of Petri net systems are proposed.Finally,some examples are given,illustrating the effectiveness of the proposed approach in modeling and analyzing of large system.
%K synchronous synthesis process
%K reversibility preservation
%K concurrent language
%K minimal reversible paths
%K concurrent composition of paths<br>同步合成
%K 可回复性的保持性
%K 并发语言
%K 最小可回复路径
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=962324E222C1AC1D&jid=1D057D9E7CAD6BEE9FA97306E08E48D3&aid=0011E1F6C38FD32B&yid=2DD7160C83D0ACED&vid=C5154311167311FE&iid=F3090AE9B60B7ED1&sid=06EA2770E96C5402&eid=BB0EA31DB1B01173&journal_id=1000-6788&journal_name=系统工程理论与实践&referenced_num=4&reference_num=16