Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets. - Olivier Bonnet-Torrés; Patrice Domenech; Charles Lesire; Catherine Tessier (ICATPN, 2006)