PNSE workshop


Room: M004

9:00 – 10:30     Session 1: Welcome and keynote (H. Rölke)

  • Einar Broch Johnsen (University of Oslo): Digital Twins - An Emerging Paradigm for Model-Centric Engineering

10:30 – 11:00     Coffee Break (Room: M130/131)

11:00 – 12:30     Session 2: Long paper presentations (25+5)

  • Federica Adobbati, Luca Bernardinello, Görkem Kılınç Soylu and Lucia Pomello: Information flow among transitions of bounded free-choice nets
  • Bart-Jan Hilbrands, Debjyoti Bera and Benny Akesson: Partial Specifications of Component-Based Systems using Petri Nets
  • Lukas Voß, Sven Willrodt, Daniel Moldt, and Michael Haustermann: Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure

12:30 – 14:00     Lunch (Room: M130/131)

14:00 – 15:30     Session 3: Long paper presentations (25+5)

  • Michael Köhler-Bußmeier and Heiko Rölke: Analysing Adaption Processes of Hornets
  • Ruben Dobler Strand, Lars Michael Kristensen and Laure Petrucci: Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction
  • Rüdiger Valk and Daniel Moldt: On Reduction of Cycloids

15:30 – 16:00     Coffee Break (Room: M130/131)

16:00 – 17:30     Session 4: Short paper presentations (10+5)

  • Franck Pommereau, Colin Thomas and Cedric Gaucherel: EDEN framework for interactive analysis of ecosystems models
  • Federica Adobbati and Łukasz Mikulski: Analysing multi-agent systems using 1-safe Petri nets
  • Laif-Oke Clasen, Daniel Moldt and Marcel Hansson: Enhancement of Renew to Version 4.0 Using JPMS
  • Nadiyah Almutairi: Probabilistic Communication Structured Acyclic Nets
  • Tuwailaa Alshammari: Towards Automatic Extraction of Events for SON Modelling
  • Jörg Desel: The Chameleon Game

17:30 – 17:40     Session 5: Poster teaser presentations (2)

17:40 – 18:30     Session 6: Poster presentations in Room M130/131