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]

Authors

Chuanliang Xia

This author has not been identified. Look up 'Chuanliang Xia' in Google

Bin Shen

This author has not been identified. Look up 'Bin Shen' in Google

Hailin Zhang

This author has not been identified. Look up 'Hailin Zhang' in Google

Yigui Wang

This author has not been identified. Look up 'Yigui Wang' in Google