GSPNs versus SPNs: what is the actual role of immediate transitions? | IEEE Conference Publication | IEEE Xplore