. (2024). Component-Level Reduction Rules for Time Petri Nets Based on DTPN. Journal of Information and Computing Science. 1 (1). 37-46. doi: