Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems

来源 :自动化学报:英文版 | 被引量 : 0次 | 上传用户：Hmilts

【摘要】

：

Embedded systems have numerous applications in everyday life.Petri-net-based representation for embedded systems(PRES+)is an important methodology for the model

【作者】

：

Chuanliang Xia Chengdong Li

【机构】

：

SchoolofComputerScienceandTechnology,SchoolofInformationandElectricalEngineering

【出处】

：

自动化学报:英文版

【发表日期】

：

2021年4期

【关键词】

：

Modeling Petri nets property preservation SUBNET SYNTHESIS

【基金项目】

：

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(TSQ

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

Robust Latent Factor Analysis for Precise Representation of High-Dimensional and Sparse Data

High-dimensional and sparse(HiDS)matrices commonly arise in various industrial applications,e.g.,recommender systems(RSs),social networks,and wireless sensor ne

期刊

High-dimensionalandsparsematrixL1-normL2normlatentfactormodelrecommend

Distributed Fault-Tolerant Containment Control for Nonlinear Multi-Agent Systems Under Directed Netw

This paper investigates the distributed fault-tolerant containment control(FTCC)problem of nonlinear multi-agent systems(MASs)under a directed network topology.

期刊

Adaptivefault-tolerantcontroldirectednetworktopologydistributedcontrolhi

Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems

其他学术论文