Analysis of large GSPN models: a distributed solution tool | IEEE Conference Publication | IEEE Xplore