Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems

doi:10.1109/JAS.2020.1003003

CORC > 自动化研究所 > 中国科学院自动化研究所 > 学术期刊 > IEEE/CAA Journal of Automatica Sinica

	Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems
	Chuanliang Xia; Chengdong Li
刊名	IEEE/CAA Journal of Automatica Sinica
	2021
卷号	8 期号:4 页码:905-915
关键词	Modeling Petri nets property preservation subnet synthesis
ISSN号	2329-9266
DOI	10.1109/JAS.2020.1003003
英文摘要	Embedded systems have numerous applications in everyday life. Petri-net-based representation for embedded systems (PRES+) is an important methodology for the modeling and analysis of these embedded systems. For a large complex embedded system, the state space explosion is a difficult problem for PRES+ to model and analyze. The Petri net synthesis method allows one to bypass the state space explosion issue. To solve this problem, as well as model and analyze large complex systems, two synthesis methods for PRES+ are presented in this paper. First, the property preservation of the synthesis shared transition set method is investigated. The property preservation of the synthesis shared transition subnet set method is then studied. An abstraction-synthesis-refinement representation method is proposed. Through this representation method, the synthesis shared transition set approach is used to investigate the property preservation of the synthesis shared transition subnet set operation. Under certain conditions, several important properties of these synthetic nets are preserved, namely reachability, timing, functionality, and liveness. An embedded control system model is used as an example to illustrate the effectiveness of these synthesis methods for PRES+.
内容类型	期刊论文
源URL	[http://ir.ia.ac.cn/handle/173211/43956]
专题	自动化研究所_学术期刊_IEEE/CAA Journal of Automatica Sinica
推荐引用方式 GB/T 7714	Chuanliang Xia,Chengdong Li. Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems[J]. IEEE/CAA Journal of Automatica Sinica,2021,8(4):905-915.
APA	Chuanliang Xia,&Chengdong Li.(2021).Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems.IEEE/CAA Journal of Automatica Sinica,8(4),905-915.
MLA	Chuanliang Xia,et al."Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems".IEEE/CAA Journal of Automatica Sinica 8.4(2021):905-915.