@article{lmcs:10017, title = {Separators in Continuous Petri Nets}, author = {Michael Blondin and Javier Esparza}, url = {https://lmcs.episciences.org/10017}, doi = {10.46298/lmcs-20(1:15)2024}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 20, Issue 1}, eid = 15, year = {2024}, month = {Feb}, keywords = {Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory}, }