Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Chuan-Liang Xia"'
Publikováno v:
DEStech Transactions on Computer Science and Engineering.
Petri-net-based Representation for Embedded Systems (PRES+) can describe embedded systems. To improve the modeling ability of PRES+, we add inhibitor arcs to the PRES+ model. Then, Petri net with Inhibitor arcs based Representation for Embedded Syste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a5c1a6f07d35e4efc27fd693317410c2
https://doi.org/10.12783/dtcse/cscbd2019/30067
https://doi.org/10.12783/dtcse/cscbd2019/30067
Publikováno v:
Applied Mechanics and Materials. :2232-2236
We study the refinement operation of Petri net based Representation for Embedded Systems (PRES+). A refinement of Petri nets is an important transformation to preserve properties of original nets. For systems specified in PRES+, this paper proposes a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dd4eee4d9a8535d0c1555ef39780d7dc
https://doi.org/10.4028/www.scientific.net/amm.321-324.2232
https://doi.org/10.4028/www.scientific.net/amm.321-324.2232
Publikováno v:
Advanced Materials Research. :1989-1993
Petri net synthesis can avoid the state exploration problem by guaranteeing the correctness in the Petri net while incrementally expanding the net. This paper proposes the conditions imposed on a synthesis shared a kind of subnet under which the foll
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a3e946ffcfa8d1e68fffb0b242a674b
https://doi.org/10.4028/www.scientific.net/amr.255-260.1989
https://doi.org/10.4028/www.scientific.net/amr.255-260.1989
Autor:
Chuan-Liang Xia
Publikováno v:
Journal of Software. 18:22
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0c5bca923885dc6e244ebcf6c53e5c00
https://doi.org/10.1360/jos180022
https://doi.org/10.1360/jos180022