Open Access

ARTICLE

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

Chuanliang Xia^∗, Bin Shen, Hailin Zhang, Yigui Wang

School of Computer Science and Technology, Shandong Jianzhu University, Jinan, 250101, China

* Corresponding Author: E-mail: