Second keynote speaker of Petri Nets 2025: @patriciabouyer.bsky.social from LMF (ENS Paris-Saclay) talking about Probabilistic and Statistical Verification of Infinite Markov Chains. (Featuring works from ANR BisoUS) petrinets25.github.io/web/speakers/