Shu Zhang, Ruotian Liu, Yufeng Chen 0001, Maria Pia Fanti, Zhiwu Li 0001. Modeling and Analysis of Dual-Time Petri Nets With Application to Semiconductor Manufacturing Systems. IEEE T. Automation Science and Engineering, 22:23769-23783, 2025. [doi]
Abstract is missing.