%0 Journal Article
%T Language Recursiveness and Liveness in Sharing Synthesis of Petri Net Systems<br>共享合成Petri网系统的语言递归性与系统活性
%A PU Fei
%A LU Wei-Ming
%A SONG Wen
%A <br>蒲飞
%A 陆维明
%A 宋文
%J 软件学报
%D 2004
%I 
%X The determination of such good properties as liveness, deadlock-freeness of a global system is an important field in the study of Petri net systems synthesis. In this paper, the sharing synthesis of Petri net systems, a significant synthesis process, is discussed. The language recursiveness in sharing synthesis process is proposed and proved, and then the language relation formula based on the concurrent language is obtained. These results present a formal tool for the analysis of a large system which contains concurrent behavior. Moreover, this language relation formula can be applied to judge the liveness and deadlock-freeness of the synthesized systems. Necessary and sufficient conditions are developed. Finally, under the given conditions, the liveness of a global system can be determined by the sublanguage of the local systems, and thus can be studied by means of local systems.
%K sharing synthesis process
%K language recursiveness
%K concurrent language
%K concurrent composition of paths
%K well path<br>共享合成
%K 语言递归性
%K 并发语言
%K 路径并发合成
%K 良径
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=168648092ABCC0EF&yid=D0E58B75BFD8E51C&vid=23CCDDCD68FFCC2F&iid=38B194292C032A66&sid=E3094127AA4ABC1A&eid=377D325742940769&journal_id=1000-9825&journal_name=软件学报&referenced_num=9&reference_num=14