1. Generation of mathematical programming representations for discrete event simulation models of timed petri nets

   • Mengyi Zhang
   • Arianna Alfieri
   • Andrea Matta

   OriginalPaper Open access 06 December 2023 Pages: 1 - 19

   

2. Conflict-free electric vehicle routing problem: an improved compositional algorithm

   • Sabino Francesco Roselli
   • Martin Fabian
   • Knut Åkesson

   OriginalPaper Open access 18 December 2023 Pages: 21 - 51

   

3. Analysis and control of timed event graphs in (max,+) algebra for the active localization of time failures

   • Ibis Velasquez
   • Yannick Pencolé
   • Euriell Le Corronc

   OriginalPaper 16 January 2024 Pages: 53 - 93

   

4. \(\pi \)HyFlow: formalism, semantics, and applications

   • Fernando Barros

   Manuscript Open access 24 January 2024 Pages: 95 - 124

   

5. Compositional non-blockingness verification of finite automata with prioritised events

   • Yiheng Tang
   • Thomas Moor

   OriginalPaper Open access 25 January 2024 Pages: 125 - 161

   

6. A modular synthesis approach for the coordination of multi-agent systems: the multiple team case

   • Marcelo Rosa
   • José E. R. Cury
   • Fabio L. Baldissera

   OriginalPaper 26 January 2024 Pages: 163 - 198

   

7. Switched max-plus linear-dual inequalities: cycle time analysis and applications

   • Davide Zorzenon
   • Jan Komenda
   • Jörg Raisch

   OriginalPaper Open access 01 February 2024 Pages: 199 - 250

   

8. Cycle times in D/D/S series queues with single multi-server bottlenecks

   • Lonnie Turpin Jr.
   • Morgan Turpin

   OriginalPaper 03 February 2024 Pages: 251 - 268