Klaus Marius Hansen Weishan Zhang Mads Ingstrup Towards Self-Managed Executable Petri Nets. 287-296 2008 SASO http://dx.doi.org/10.1109/SASO.2008.59 conf/saso/2008 db/conf/saso/saso2008.html#HansenZI08