Counter approach for the estimation of optimal sequences in Partially Observable Untimed Petri Nets P. Declerck OriginalPaper 15 May 2021 Pages: 489 - 512
Failure detection and localization for timed event graphs in \((\max \limits ,+)\)-algebra Euriell Le CorroncYannick PencoléClaire Paya OriginalPaper 23 July 2021 Pages: 513 - 552
Comparing the notions of opacity for discrete-event systems Jiří BalunTomáš Masopust OriginalPaper 27 July 2021 Pages: 553 - 582
Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics Lukas TriskaThomas Moor OriginalPaper Open access 31 July 2021 Pages: 583 - 607
Formal specification and verification of decentralized self-adaptive systems using symmetric nets Matteo CamilliLorenzo Capra OriginalPaper Open access 05 August 2021 Pages: 609 - 657
Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations Robi MalikMarcelo Teixeira OriginalPaper 09 August 2021 Pages: 659 - 691