Discrete Event Dynamic Systems: Theory and Applications

ISSN: 1573-7594
Publisher:

Publications (3)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

Compositional non-blockingness verification of finite automata with prioritised events (2024) Tang Y, Moor T Journal article Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics (2021) Triska L, Moor T Journal article, Original article A hierarchical and modular control architecture for sequential behaviours (2015) Agethen C, Moor T Journal article, Original article