On Reduction of Cycloids

Rüdiger Valk, Daniel Moldt. On Reduction of Cycloids. In Michael Köhler-Bussmeier, Daniel Moldt, Heiko Rölke, editors, Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), Bergen, Norway, June 20th, 2022. Volume 3170 of CEUR Workshop Proceedings, pages 99-118, CEUR-WS.org, 2022. [doi]

Abstract

Abstract is missing.