Chuanliang Xia. Property preservation of refinement for Petri net based representation for embedded systems. Cluster Computing, 19(3):1373-1384, 2016. [doi]
@article{Xia16-4,
title = {Property preservation of refinement for Petri net based representation for embedded systems},
author = {Chuanliang Xia},
year = {2016},
doi = {10.1007/s10586-016-0597-2},
url = {http://dx.doi.org/10.1007/s10586-016-0597-2},
researchr = {https://researchr.org/publication/Xia16-4},
cites = {0},
citedby = {0},
journal = {Cluster Computing},
volume = {19},
number = {3},
pages = {1373-1384},
}