Open Access iconOpen Access

ARTICLE

crossmark

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: email

TSP_CSSE_345.pdf

  • 1428

    View

  • 1222

    Download

  • 2

    Like

Share Link