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. |
入库方式： OAI收割
来源：自动化研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。