Elena N. Bozhenkova, Irina B. Virbitskaite. On Semantics for Testing in Time Petri Nets. In Holger Schlingloff, Thomas Vogel 0001, editors, Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021), Berlin, Germany, September 27-28, 2021. Volume 2951 of CEUR Workshop Proceedings, pages 60-71, CEUR-WS.org, 2021. [doi]
Abstract is missing.