Liveness and Boundedness Preservations of Sharing Synthesis of Petri Net Based Representation for Embedded Systems

Chuanliang Xia, Bin Shen, Hailin Zhang, Yigui Wang. Liveness and Boundedness Preservations of Sharing Synthesis of Petri Net Based Representation for Embedded Systems. Communications in Statistics - Simulation and Computation, 39(5):345-350, 2010. [doi]

@article{XiaSZW10,
  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 = {2010},
  doi = {10.32604/csse.2018.33.345},
  url = {https://doi.org/10.32604/csse.2018.33.345},
  researchr = {https://researchr.org/publication/XiaSZW10},
  cites = {0},
  citedby = {0},
  journal = {Communications in Statistics - Simulation and Computation},
  volume = {39},
  number = {5},
  pages = {345-350},
}