GSPN subnet aggregation algorithms for modeling distributed applications in parallel architectures | IEEE Conference Publication | IEEE Xplore