@inproceedings{BE22, author = {Michael Blondin and Javier Esparza}, title = {Separators in Continuous Petri Nets}, booktitle = {Proc.\ $\text{25}^\text{th}$ International Conference on Foundations of Software Science and Computation Structure ({FoSSaCS})}, pages = {81--100}, doi = {10.1007/978-3-030-99253-8_5}, year = {2022} }