Marta Pietkiewicz-Koutny, Maciej Koutny. Synthesising Elementary Net Systems with Interval Order Semantics. 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 is missing.