首页|期刊导航|自动化学报（英文版）|Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems

Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems

Chuanliang Xia Chengdong Li

自动化学报（英文版）2021，Vol.8Issue(4)：905-915,11.

自动化学报（英文版）2021，Vol.8Issue(4)：905-915,11.DOI:10.1109/JAS.2020.1003003

Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems

Chuanliang Xia ¹Chengdong Li²

作者信息

1. School of Computer Science and Technology, Shandong Jianzhu University, Jinan 250101, China
2. School of Information and Electrical Engineering, Shandong Jianzhu University, Jinan 250101, China
折叠

摘要

关键词

Modeling/Petri nets/property preservation/subnet/synthesis

Key words

Modeling/Petri nets/property preservation/subnet/synthesis

引用本文复制引用

Chuanliang Xia,Chengdong Li..Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems[J].自动化学报（英文版）,2021,8(4):905-915,11.

基金项目

This work was financially supported by the National Natural Science Foundation of China(61503220),the Natural Science Foundation of Shandong Province(ZR2016FM19),the Taishan Scholar Project of Shandong Province(TSQN201812092),the Key Research and Development Program of Shandong Province(2019GGX101072,2019JZZY010115,2018GGX106006),and the Youth Innovation Technology Project of Higher School in Shandong Province(2019KJN005).Recommended by Associate Editor Shouguang Wang.(Corresponding author:Chuanliang Xia.) （61503220）

自动化学报（英文版）

OACSCDCSTPCDEI

ISSN：2329-9266

访问量0

下载量0

段落导航