Zobrazeno 1 - 10
of 51
pro vyhledávání: '"Chuanliang, Xia"'
Publikováno v:
Electronics; Volume 12; Issue 8; Pages: 1955
Embedded systems are widely used in automotive electronics, smart home, smart medical, aerospace and other fields. Aiming at the problem of formal modeling and verification analysis of embedded systems, a solution is proposed using extended Petri net
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::931406516a0f576c559b28a20ea1807a
Autor:
Chengdong Li, Chuanliang Xia
Publikováno v:
IEEE/CAA Journal of Automatica Sinica. 8: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 st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7d1a11f2a7e3a0e2fa78eac7c668a08a
https://doi.org/10.1109/jas.2020.1003003
https://doi.org/10.1109/jas.2020.1003003
Publikováno v:
Electronics; Volume 11; Issue 9; Pages: 1389
Embedded systems are widely used in various devices. PRES+ (Petri net- based Representation for Embedded Systems) has been used to model and analyze embedded systems. However, it cannot characterize the priority of events, and cannot fully express th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1290b36dc06eae472979a9bf992b395
Publikováno v:
Computer Systems Science and Engineering. 33:345-350
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bde4ad87e4f672908e094e916467abf9
https://doi.org/10.32604/csse.2018.33.345
https://doi.org/10.32604/csse.2018.33.345
Autor:
Chuanliang Xia
Publikováno v:
Cluster Computing. 19:1373-1384
Embedded systems have many applications in our life. Petri net based Representation for Embedded Systems (PRES+) is a promising methodology for modeling, verification, analysis and control of embedded systems. But the state space explosion problem is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7c476b7b5b1995004b9757fd2dbb02af
https://doi.org/10.1007/s10586-016-0597-2
https://doi.org/10.1007/s10586-016-0597-2
Autor:
Fanchang, Hao, Xu, Chang, Gongping, Yang, Lu, Yang, Chengdong, Li, Chenglong, Li, Chuanliang, Xia
Publikováno v:
Multimedia Tools & Applications; May2020, Vol. 79 Issue 19/20, p12915-12938, 24p
Publikováno v:
The Open Automation and Control Systems Journal. 7:214-218
Petri net refinement is a transformation by replacing a simple entity of a system with its functional and opera- tional details. In general, the refined system may become incorrect even if the original system is correct because some of its original p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6591775b980d3dde7ab57580b09b5cde
https://doi.org/10.2174/1874444301305010214
https://doi.org/10.2174/1874444301305010214
Autor:
Chuanliang Xia
Publikováno v:
Proceedings of the International Symposium on Networking & Network Security; Jun2010, p250-253, 4p
Autor:
Chuanliang Xia
Publikováno v:
Proceedings of the International Symposium on Information Systems & Applications; 2009, p35-38, 4p, 4 Diagrams
Autor:
Chuanliang Xia
Publikováno v:
Mathematical Structures in Computer Science. 24
We provide motivation for and then study the synthesis of Petri nets. Synthesis can avoid the state exploration problem by guaranteeing correctness for the Petri net. We propose conditions to be imposed on a synthesis shared pb-type subnet for system
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f007bc764211db7d3a7d2aa7e5311088
https://doi.org/10.1017/s0960129512000515
https://doi.org/10.1017/s0960129512000515