A Constrained Probabilistic Petri Net Framework for Human Activity Detection in Video | IEEE Journals & Magazine | IEEE Xplore