Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets