Template. The GSPN T = (N, W, N[π], Π, D) is a (π-parameterised) template over I ⊆ P. The instantiation of T with c ∈ Nn is the GSPN T [c] = (N , W, N,Πj, D) with Πj(t) = Π(t)(c)
Appears in 2 contracts
Sources: End User Agreement, End User Agreement
Template. The GSPN T = (N, W, N[π], Π, D) is a (π-parameterised) template over I ⊆ P. The instantiation of T with c ∈ Nn is the GSPN T [c] = (N , W, N,Πj, D) with Πj(t) = Π(t)(c)
Appears in 2 contracts
Sources: End User Agreement, End User Agreement