Skip to Content
Session S-16: Discrete Event Systems
7/1/24, 5:10 PM - 7/1/24, 6:50 PM (Europe/Malta) (1 hour 40 minutes)

Session chair(s):  : Carla Seatzu & Dimitri Lefebvre

Paper  ID

Title

Authors

609 

Discrete Abstractions for Manufacturing Logistics Optimization for the Food Service Industry 

Anatoli Tziola*, Savvas Loizou (Cyprus)  

  

356
From Reinforcement Learning to Reality: Generating Structured Text Logic Controller

Dimitri Renard*, RAMLA Saddem Ramla, David ANNEBICQUE, Mathieu Roisin, Bernard RIERA (France)

351
Discrete-Event Based Patient Flow Simulation of an Emergency Surgery Department

Alvin Combrink*, Petr Erik Moldan, David Johnsson, Martin Fabian (Sweden) 

205 
AN Algebraic Formulation of K-Step Opacity Problem in Labeled Petri Net Models

Amira Chouchane*, Mohamed Ghazel (France) 

639
Reactive Real-Time Scheduling Using Simulation-Optimization and Evolutionary Algorithms 

Engelbert Pasieka*, Sebastian Engell (Germany) 

508 
Constraint Programming for Logic Controller Synthesis 

Mathieu Roisin, Pierre-Alain YVARS*, Bernard RIERA (France)  

272 

Bisimulation Non-Interference Analysis of Bounded Petri Nets 

Ning Ran*, Jinyuan Hao, Zhou He, Mauro Franceschelli, Carla Seatzu (China)