Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias. A State Class Construction for Computing the Intersection of Time Petri Nets Languages. In Étienne André, Mariëlle Stoelinga, editors, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Volume 11750 of Lecture Notes in Computer Science, pages 79-95, Springer, 2019. [doi]
Abstract is missing.