Propagating Certainty in Petri Nets for Activity Recognition | IEEE Journals & Magazine | IEEE Xplore