Mochy: A Tool for the Modeling of Concurrent Hybrid Systems. - Loïc Hélouët; Antoine Thébault (Petri Nets, 2023)

Modeling Subway Networks and Passenger Flows. - Antoine Thébault; Loïc Hélouët; Kenza Saiah (ATMOS, 2024)