* Example 2: Another example of steady-state analysis of a gspn model
gspn g1(p1,p2)
* places
p1 1
p2 0
p3 0
end
* timed transitions
t21 ind 5
t31 ind 10
end
* immediate transitions
t12 ind p1
t13 ind p2
end
* places to transitions
p1 t12 1
p1 t13 1
p2 t21 1
p3 t31 1
end
* transitions to places
t12 p2 1
t13 p3 1
t21 p1 1
t31 p1 1
end
end

expr prempty (g1, p1; .5,.5), prempty (g1, p2; .5,.5), prempty (g1,p3; .5,.5)
expr prempty (g1, p1; 1,1), prempty (g1, p2; 1,1), prempty (g1,p3; 1,1)
expr prempty (g1, p1; 2,2), prempty (g1, p2; 2,2), prempty (g1,p3; 2,2)
end

