Shared Subnet Synthesis of Object-Oriented Petri Net Based Representation for Embedded Systems. - Chuanliang Xia; Yuhao Zan (ICIC (LNAI 5), 2024)