1. Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties

   • Manuel Navarro-Gutiérrez
   • Jaime A. Fraustro-Valdez
   • Manuel Silva

   OriginalPaper 19 February 2020 Pages: 175 - 209

   

2. Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction

   • Robi Malik
   • Marcelo Teixeira

   OriginalPaper 21 March 2020 Pages: 211 - 241

   

3. Information control in networked discrete event systems and its application to battery management systems

   • Feng Lin
   • Le Yi Wang
   • Fei Wang

   OriginalPaper 01 February 2020 Pages: 243 - 268

   

4. Modelling and control of periodic time-variant event graphs in dioids

   • Johannes Trunk
   • Bertrand Cottenceau
   • Joerg Raisch

   OriginalPaper 22 February 2020 Pages: 269 - 300

   

5. On the computation of counterexamples in compositional nonblocking verification

   • Robi Malik
   • Simon Ware

   OriginalPaper 26 February 2020 Pages: 301 - 334

   

6. Arborescent architecture for decentralized diagnosis of discrete event systems

   • Ahmed Khoumsi

   OriginalPaper 12 March 2020 Pages: 335 - 375

   

7. Correction to: Arborescent architecture for decentralized diagnosis of discrete event systems

   • Ahmed Khoumsi

   Correction 15 May 2020 Pages: 377 - 379