Kaiwen Zhang 0010, GuanJun Liu, Yantao Sun, Xiaofeng Li, Jian Guan, Yi Xie, Bin Gu 0006. Analysis of Real-time Embedded Multi-core Systems Based on Prioritized Time Petri Nets. Int. J. Software and Informatics, 14(4):353-373, 2024. [doi]
Abstract is missing.