A new and rigorous SPN theory – Part II: Generalization to GSPN