Slicing Petri Nets to Reduce Their Complexity - Abstract

Carlos Galindo 0002, Marisa Llorens, Sergio Pérez 0001, Josep Silva. Slicing Petri Nets to Reduce Their Complexity - Abstract. In Luís Gomes 0001, Paulo Leitão, Robert Lorenz 0001, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst, editors, Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Caparica, Portugal, June 25-30, 2023. Volume 3424 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]

Abstract

Abstract is missing.