全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
软件学报  2004 

Language Recursiveness and Liveness in Sharing Synthesis of Petri Net Systems
共享合成Petri网系统的语言递归性与系统活性

Keywords: sharing synthesis process,language recursiveness,concurrent language,concurrent composition of paths,well path
共享合成
,语言递归性,并发语言,路径并发合成,良径

Full-Text   Cite this paper   Add to My Lib

Abstract:

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.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133