Investigating the applicability of Petri nets for rule-based system verification | IEEE Journals & Magazine | IEEE Xplore