Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Tong Guo Wang"'
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
