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]

Abstract

Abstract is missing.