A mapping of autonomous net condition event systems to GSPNs | IEEE Conference Publication | IEEE Xplore