Nicolas Amat, Pierre Bouvier, Hubert Garavel. A Toolchain to Compute Concurrent Places of Petri Nets. T. Petri Nets and Other Models of Concurrency, 17:1-26, 2023. [doi]
@article{AmatBG23, title = {A Toolchain to Compute Concurrent Places of Petri Nets}, author = {Nicolas Amat and Pierre Bouvier and Hubert Garavel}, year = {2023}, doi = {10.1007/978-3-662-68191-6_1}, url = {https://doi.org/10.1007/978-3-662-68191-6_1}, researchr = {https://researchr.org/publication/AmatBG23}, cites = {0}, citedby = {0}, journal = {T. Petri Nets and Other Models of Concurrency}, volume = {17}, pages = {1-26}, }