TY  - RPRT
TI  - Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors
AU  - Martijn Goorden
AU  - Joanna van de Mortel-Fronczak
AU  - Michel Reniers
AU  - Martin Fabian
AU  - Wan Fokkink
AU  - Jacobus Rooda
PY  - 2021
DO  - 10.1016/j.conengprac.2021.104830
UR  - https://arxiv.org/abs/2007.05795
ID  - 2007.05795
ER  -