Programme
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)