Chuanliang Xia, Bin Shen, Hailin Zhang, Yigui Wang. Liveness and Boundedness Preservations of Sharing Synthesis of Petri Net Based Representation for Embedded Systems. Comput. Syst. Sci. Eng., 33(5):345-350, 2018. [doi]
@article{XiaSZW18,
title = {Liveness and Boundedness Preservations of Sharing Synthesis of Petri Net Based Representation for Embedded Systems},
author = {Chuanliang Xia and Bin Shen and Hailin Zhang and Yigui Wang},
year = {2018},
doi = {10.32604/csse.2018.33.345},
url = {https://doi.org/10.32604/csse.2018.33.345},
researchr = {https://researchr.org/publication/XiaSZW18},
cites = {0},
citedby = {0},
journal = {Comput. Syst. Sci. Eng.},
volume = {33},
number = {5},
pages = {345-350},
}