Stefano Bavaro, Thomas Chatain, Boudewijn F. van Dongen. Timed Anti-Alignments for Acyclic Marked Graphs. In Michael Köhler-Bußmeier, Daniel Moldt, Heiko Rölke, Robin Bergenthum, Andrey Rivkin, Jan Martijn E. M. van der Werf, Jörg Desel, Laure Petrucci, editors, Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED'25), and Petri Net Games, Examples and Quizzes for Education, Contest and Fun (PeNGE'25) co-located with PETRI NETS 2025, June 23 - 24, 2025, Paris, France. Volume 3998 of CEUR Workshop Proceedings, pages 166-184, CEUR-WS.org, 2025. [doi]
Abstract is missing.