A flexible manufacturing system with three machines published in [ CT93 ]. The original model is a GSPN with self-modifying arcs. The model is scalable by the initial amount of tokens N on places P1,P2,P3 and P12. The models below are restricted to an initial amount of tokens of maximal 10. Each of the transitions tP1s, tP2s and tP3s have been modeled by 10 different transitions , each representing a unique token assignment of the places P1s, P2s and P3s. This is required since Snoopy and Marcie do not support marking-dependent arcs weights.
For reasons of efficiency it is worth to reduce the GSPN to an SPN as proposed in [ MBC+95 ].