Towards Self-Managed Executable Petri Nets | IEEE Conference Publication | IEEE Xplore