Human-AI Collaboration for Business Process Modeling with Petri Nets. - Timo Schlösser; Martin Forell; Selina Schüler; Andreas Fritsch (BPMDS/EMMSAD@CAiSE, 2025)