Shu Zhang, Ruotian Liu, Yufeng Chen 0001, Maria Pia Fanti, Wei Wei, Boyu Dong. Dead Transitions Analysis and Resolution in Dual-Time Petri Nets. In Belgacem Ben Hedia, Sébastien Bardin, Riadh Robbana, editors, Verification and Evaluation of Computer and Communication Systems - 18th International Conference, VECoS 2025, Paris, France, November 5-7, 2025, Proceedings. Volume 16263 of Lecture Notes in Computer Science, pages 17-31, Springer, 2025. [doi]
Abstract is missing.