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]
Abstract is missing.