Loriane Leclercq, Didier Lime, Olivier H. Roux. On Parametric DBMs and Their Applications to Time Petri Nets. In Jane Hillston, Sadegh Soudjani, Masaki Waga, editors, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings. Volume 14996 of Lecture Notes in Computer Science, pages 107-124, Springer, 2024. [doi]
Abstract is missing.