Minimising the Synthesised ENL-Systems

Aishah Ahmed, Marta Pietkiewicz-Koutny. Minimising the Synthesised ENL-Systems. In Robert Lorenz 0001, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst, editors, Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Bergen, Norway, June 19-24, 2022. Volume 3167 of CEUR Workshop Proceedings, pages 43-59, CEUR-WS.org, 2022. [doi]

Abstract

Abstract is missing.