GSPN models of concurrent architectures with mesh topology | IEEE Conference Publication | IEEE Xplore