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