TY  - RPRT
TI  - Verification of infinite-step and K-step opacity Using Petri Nets
AU  - Hao Lan
AU  - Yin Tong
AU  - Jin Guo
AU  - Carla Seatzu
PY  - 2019
UR  - https://arxiv.org/abs/1909.05138
ID  - 1909.05138
ER  -