Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems

doi:10.1109/JAS.2020.1003003

CASIA OpenIR > 学术期刊 > 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
ISSN	2329-9266
	2021
卷号	8 期号:4 页码:905-915
摘要	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+.
关键词	Modeling Petri nets property preservation subnet synthesis
DOI	10.1109/JAS.2020.1003003
引用统计	被引频次：20[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	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.

条目包含的文件		下载所有文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
JAS-2019-0214.pdf（1761KB）	期刊论文	出版稿	开放获取	CC BY-NC-SA	浏览下载