TY  - RPRT
TI  - On detectability of labeled Petri nets and finite automata
AU  - Kuize Zhang
AU  - Alessandro Giua
PY  - 2019
UR  - https://arxiv.org/abs/1802.07551
ID  - 1802.07551
ER  -