A Goal Based Approach on top of Petri Nets

Nejm Saadallah, Benoit Daireaux. A Goal Based Approach on top of Petri Nets. In Michael Duvigneau, Daniel Moldt, Kunihiko Hiraishi, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011. Volume 723 of CEUR Workshop Proceedings, pages 193-195, CEUR-WS.org, 2011. [doi]

Abstract

Abstract is missing.