TY  - RPRT
TI  - Verification of Detectability Using Petri Nets and Detector
AU  - Hao Lan
AU  - Yin Tong
AU  - Jin Guo
AU  - Carla Seatzu
PY  - 2019
UR  - https://arxiv.org/abs/1908.09604
ID  - 1908.09604
ER  -