ISCAS OpenIR
compositional verification of liveness property in inhibitor-arc connections of petri net systems
Pu Fei
2012
SourceJournal of Software
ISSN1796217X
Volume7Issue:3Pages:499-507
English AbstractPetri net systems synthesis can construct large systems without the requirement of reachability analysis so that it can reduce the high complexity of analyzing global system. In a synthesis process, such good properties of subsystems as liveness and deadlock-freeness etc, must be preserved in synthesized system. This paper focusses on liveness preservation in inhibitor-arc connection operations. The systems dynamic, concurrent behavior relation i.e. concurrent language relation in inhibitor-arc connections is stressed studied. The corresponding language relation formula is present and proved, and it can be applied to determine liveness of synthesized system in inhibitor-arc connection operations. Furthermore, some criteria are introduced, which are necessary and sufficient for liveness, to determine the liveness of global system by the same ones of local systems. Finally, some examples are given, illustrating the effectiveness of the proposed approach in modeling and analyzing of large systems. © 2012 ACADEMY PUBLISHER.
Indexed Typeei
Department(1) College of Computer and Information Engineering, Zhejiang Gongshang University, Hangzhou, China; (2) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
Language英语
Content Type期刊论文
URIhttp://ir.iscas.ac.cn/handle/311060/14713
Collection中国科学院软件研究所
Recommended Citation
GB/T 7714
Pu Fei. compositional verification of liveness property in inhibitor-arc connections of petri net systems[J]. Journal of Software,2012,7(3):499-507.
APA Pu Fei.(2012).compositional verification of liveness property in inhibitor-arc connections of petri net systems.Journal of Software,7(3),499-507.
MLA Pu Fei."compositional verification of liveness property in inhibitor-arc connections of petri net systems".Journal of Software 7.3(2012):499-507.
Files in This Item:
File Name/Size DocType Version Access License
5808-15274-1-PB.pdf(716KB) 开放获取LicenseApplication Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Pu Fei]'s Articles
Baidu academic
Similar articles in Baidu academic
[Pu Fei]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Pu Fei]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.