Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems

Chuanliang Xia, Chengdong Li. Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems. IEEE CAA J. Autom. Sinica, 8(4):905-915, 2021. [doi]

Abstract

Abstract is missing.