@InProceedings{   Giovannetti.etal/BPM2026:DeclarativeProcessSpecificationScenariosviaPlanning,
  author        = {Giovannetti, Alessandra and Acitelli, Giacomo and
                  Casciani, Angelo and Di Ciccio, Claudio and Marrella,
                  Andrea},
  booktitle     = {BPM},
  title         = {Customizable Declarative Process Specification Scenarios
                  via Automated Planning},
  year          = {2026},
  pages         = {128--147},
  crossref      = {BPM2026},
  doi           = {10.1007/978-3-032-37777-7_10},
  keywords      = {Automated planning; Simulation; Process science; Declare}
}
@Proceedings{     BPM2026,
  title         = {Business Process Management - 24th International
                  Conference, {BPM} 2026, Toronto, ON, Canada, September
                  27-October 2, 2026, Proceedings},
  year          = {2027},
  editor        = {Fabrizio Maria Maggi and Henrik Leopold and Fl{\'{a}}via
                  Maria Santoro and Avigdor Gal},
  isbn          = {978-3-032-37776-0},
  publisher     = {Springer},
  series        = {Lecture Notes in Computer Science},
  volume        = {16936},
  doi           = {10.1007/978-3-032-37777-7}
}