On the construction of abstract GSPNs: an exercise in modeling | IEEE Conference Publication | IEEE Xplore