A Goal Based Approach on top of Petri Nets. - Nejm Saadallah; Benoit Daireaux (PNSE, 2011)