* Example 4:
* yet another example of transient analysis using gspn.

gspn gi(n)
* places
p1 n
p2 0
end
* timed trans
t12 ind 2
end
* immed trans
end
* input arcs
p1 t12 1
end
* output arcs
t12 p2 1
end
* inhib arcs
end

expr premptyt(1;gi,p1;1)
expr etokt (1;gi,p1;1)

end
