A Toolchain to Compute Concurrent Places of Petri Nets
Crossref DOI link: https://doi.org/10.1007/978-3-662-68191-6_1
Published Online: 2023-11-01
Published Print: 2024
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Amat, Nicolas http://orcid.org/0000-0002-5969-7346
Bouvier, Pierre
Garavel, Hubert
Text and Data Mining valid from 2023-11-01
Version of Record valid from 2023-11-01
Chapter History
First Online: 1 November 2023