1. Counter approach for the estimation of optimal sequences in Partially Observable Untimed Petri Nets

   • P. Declerck

   OriginalPaper 15 May 2021 Pages: 489 - 512

   

2. Failure detection and localization for timed event graphs in \((\max \limits ,+)\)-algebra

   • Euriell Le Corronc
   • Yannick Pencolé
   • Claire Paya

   OriginalPaper 23 July 2021 Pages: 513 - 552

   

3. Comparing the notions of opacity for discrete-event systems

   • Jiří Balun
   • Tomáš Masopust

   OriginalPaper 27 July 2021 Pages: 553 - 582

   

4. Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics

   • Lukas Triska
   • Thomas Moor

   OriginalPaper Open access 31 July 2021 Pages: 583 - 607

   

5. Formal specification and verification of decentralized self-adaptive systems using symmetric nets

   • Matteo Camilli
   • Lorenzo Capra

   OriginalPaper Open access 05 August 2021 Pages: 609 - 657

   

6. Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations

   • Robi Malik
   • Marcelo Teixeira

   OriginalPaper 09 August 2021 Pages: 659 - 691