The following publications are possibly variants of this publication:
- Liveness and Boundedness Preservations of Sharing Synthesis of Petri Net Based Representation for Embedded SystemsChuanliang Xia, Bin Shen, Hailin Zhang, Yigui Wang. csse, 33(5):345-350, 2018. [doi]
- Property Preservation of Petri Synthesis Net Based Representation for Embedded SystemsChuanliang Xia, Chengdong Li. ieeejas, 8(4):905-915, 2021. [doi]
- Property preservation of refinement for Petri net based representation for embedded systemsChuanliang Xia. cluster, 19(3):1373-1384, 2016. [doi]
- Liveness and boundedness analysis of Petri net synthesisChuanliang Xia. mscs, 24(5), 2014. [doi]