相关期刊:《China Communications》《IEEE/CAA Journal of Automatica Sinica》《Wuhan University Journal of Natural Sciences》《Journal of Software Engineering and Applications》更多>>
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);the Youth Innovation Technology Project of Higher School in Shandong Province(2019KJN005)。
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 co...