A Toolchain to Compute Concurrent Places of Petri Nets | Publicación